Weight functions on the Kneser graph and the solution of an intersection problem of Sali

LetX, Y be finite sets and suppose thatF is a collection of pairs of sets (F, G),FX,GY satisfying |FF|s, |GG|t and |FF|+|GG|s+t+1 for all (F, G),F, GF. Extending a result of Sali, we determine the maximum ofF.     

Multiple wiener integrals and nonlinear functionals of a nuclear space valued Wiener process

In this work we develop techniques for the study of nonlinear functionals of a -valued Wiener processW _t, where is the dual of a countably Hilbert nuclear space. We construct stochastic integrals and multiple Wiener integrals of operator-valued processes with respect toW _t. The Wiener decomposition of the space of -valued nonlinear functionals ofW _t is established. We also obtain multiple stochastic integral expansions and representations of -valued nonlinear functionals ofW _t as operator-valued stochastic integrals of Itô type.This research was partially supported by CONACYT grants 22537 and PCEXCNA-040651, and Air Force Office of Scientific Research No. F49620 85 C 0144.Presently at CIMAT, A.P. 402 Guanajuato 36000, GTO, México.     

Présentations des groupes de Fischer (II)

In this paper we give Coxeter presentation (X, ) for the three Fischer groupsG=Fi₂₂, Fi₂₃, Fi₂₄; we apply methods exposed in the first part. Each of these groups is generated by a class of 3-transpositions (named here a Fischer class) in which elements ofX are chosen. A subset of is the set of all the relations (xy) ^m(x,y)=1, wherex andy are inX and wherem(x,y) means the order ofxy inG. We obtainG as a specified quotient of the Coxeter group (X, ) with the appropriate diagram .     

über straffe Wahrscheinlichkeitsverteilungen im Raum der Schwartzschen Distributionen

Zusammenfassung In den letzten Jahren erschien eine Reihe von Arbeiten, die sich systematisch mit Wahrscheinlichkeitsverteilungen auf topologischen Gruppen, Halbgruppen, topologischen RÄumen und topologischen linearen RÄumen beschÄftigten. Als besonders geeignet für eine topologische Wahrscheinlichkeitstheorie erwiesen sich hierbei die sogenannten straffen (tight) Wahrscheinlichkeitsverteilungen (vgl. Le Cam [3], Hildenbrand [11], Prochoeov [20], Varadarajan [25]).Die vorliegende Arbeit befa\t sich mit straffen Wahrscheinlichkeitsverteilungen im Raum D, dem topologischen Dualraum des Raumes D der auf der reellen Zahlengeraden definierten beliebig oft differenzierbaren Funktionen mit kompaktem TrÄger Tr .Der Ausgangspunkt für die Untersuchung von Zufallselementen mit Werten in linearen RÄumen, die nicht notwendig BanachrÄume sind, war wohl der von GELFAND [8] eingeführte Begriff des verallgemeinerten stochastischen Prozesses (VSP). Solange man bei einem solchen Proze\ Eigenschaften untersucht, die sich mit Hilfe seiner endlichdimensionalen Randverteilungen Q_{1,...,n}, _i D, beschreiben lassen, wird man sich wie im Fall eines gewöhnlichen stochastischen Prozesses natürlich die Frage stellen, ob ein geeigneter Standard-stichprobenraum existiert, etwa der Raum D, so da\ sich jeder VSP auffassen lÄ\t als Wahrscheinlichkeitsverteilung auf einem geeigneten hinreichend umfangreichen -Ring von Teilmengen des Raumes D. Die fundamentale Arbeit von MINLOS [18] gab hierzu die Lösung: Durch ein vertrÄgliches System endlichdimensionaler Wahrscheinlichkeitsverteilungen Q_{1,...,n}, _i D, mit gewissen Eigenschaften, die denen der Randverteilungen eines VSP entsprechen, lÄ\t sich auf dem SystemB der Zylindermengen des Raumes D eine sogenannte schwache Verteilung definieren, von der gezeigt wird, da\ sie -additiv ist. Durch EinschrÄnkung des Raumes der sogenannten Testfunktionen auf den metrisierbaren Teilraum D _K{ D:Tr K, K kompakt in } von D lÄ\t sich dieses Ergebnis wie folgt verschÄrfen: Die durch ein vertrÄgliches System endlichdimensionaler Randverteilungen Q_{1,...,n}, _i D, mit entsprechenden Eigenschaften, auf dem System B _K der Zylindermengen des Raumes D_K definierte schwache Verteilung K ist straff bezüglich der schwachen Topologie (D_K, D_K) in D_K.Die Frage nach der Gültigkeit einer entsprechenden VerschÄrfung für das Dualsystem >DD<, bzw. allgemeiner für ein Dualsystem E, F mit nicht notwendig metrisierbarem F, bildete den Gegenstand neuerer Untersuchungen, über deren Ergebnisse auf dem letzten Berkeley Symposium E. Mourier berichtete (vgl. [19]).Im ersten Kapitel der vorliegenden Arbeit des Verfassers wird demgegenüber eine Methode aufgezeigt, mit deren Hilfe, unter Verwendung des Minlosschen Satzes in seiner ursprünglichen Form, auf direktem Wege für das Dualsystem >D, D< der Nachweis gelingt, da\ eine schwache Verteilung auf B nicht nur -additiv, sondern automatisch straff ist (bzgl. der schwachen Topologie (D, D) in D) und sich somit eindeutig fortsetzen lÄ\t zu einer straffen Wahrscheinlichkeitsverteilung auf dem System 83 der Boreischen Mengen in D, welches den von den Zylindermengen erzeugten -Ring (B) umfa\t. Mit anderen Worten wird damit gezeigt, da\ man jeden VSP auffassen kann als straffe Wahrscheinlichkeitsverteilung auf den Boreischen Mengen in D. Wir sprechen dann auch von einer zufÄlligen Distribution.Im zweiten Kapitel betrachten wir spezielle zufÄllige Distributionen, nÄmlich Normal-verteilungen v, die aus Randverteilungen hervorgehen, welche n-dimensionale Normal-verteilungen sind, und beschÄftigen uns mit dem Problem der Äquivalenz und SingularitÄtzweier Normalverteilungen v₁ und v₂ in D. Für den Fall v₁ = v, v₂= v_{f 0}, wo v_{f 0}(Z) =v(Z – f₀), ZB fD, zeigte DUDLEY [6], da\ entweder Äquivalenz oder SingularitÄt vorliegt, wobei er ein notwendiges und hinreichendes Kriterium für den Fall der Äquivalenz angibt. Aus der Theorie der gewöhnlichen stochastischen Prozesse ist nun bekannt, da\ die beiden Wahrschein-lichkeitsma\e, die zwei beliebigen Gau\schen Prozessen auf dem Raum ihrer Realisierungen entsprechen, entweder Äquivalent oder singular sind. Es lag deshalb nahe, nach einem Kriterium zu suchen, welches es einerseits gestattet, im Fall zweier beliebiger Normalverteilungen v₁ und v₂ in D zu entscheiden, wann Äquivalenz vorliegt, und welches andererseits die naheliegende Vermutung bestÄtigt, da\ für zwei Normalverteilungen in D dieselbe Alternative wie im eben zitierten klassischen Fall vorliegt. Dieses Problem wird gelöst, indem wir zeigen, da\ sich ein von Kallianfur-Oodaira [13] aufgestelltes Kriterium für die Äquivalenz zweier Normalverteilungen auf den Boreischen Mengen eines separablen Hilbertraumes auf den Distributionsraum D übertragen lÄ\t.Im dritten Kapitel beschÄftigen wir uns mit der Frage der Äquivalenz zweier beliebiger (nicht notwendig normaler) Wahrscheinlichkeitsverteilungen in D.Abschlie\end möchte der Autor Herrn Professor Dr. K. Krickeberg (Heidelberg) für die Anregung zu dieser Arbeit sowie für die Unterstützung wÄhrend ihrer Durchführung herzlich danken.     

Groups with isomorphic Burnside rings

We prove that for some families of finite groups, the isomorphism class of the group is completely determined by its Burnside ring. Namely, we prove the following: if two finite simple groups have isomorphic Burnside rings, then the groups are isomorphic; if G is either Hamiltonian or abelian or a minimal simple group, and G is any finite group such that B(G) B(G), then G G.Received: 22 April 2004     

Finite Group Schemes over Bases with Low Ramification

Let A be a complete characteristic (0,p) discrete valuation ring with absolute ramification degree e and a perfect residue field. We are interested in studying the category FF _A' of finite flat commutative group schemes over A withp-power order. When e= 1, Fontaine formulated the purely linear algebra notion of a finite Honda system over A and constructed an anti-equivalence of categories betweenineFF _A'> and the category of finite Honda systems over A when p> 2. We generalize this theory to the case e – 1.     

Groups acting simply transitively on the vertices of a building of typeà 2, II: The casesq=2 andq=3

If (P, L) is a projective plane and is a triangle presentation compatible with a point-line correspondence :P L, then gives rise to a group and a thick building of typeà ₂ on the vertices of which acts simply transitively. We find all triangle presentations (up to natural equivalence) compatible with some point-line correspondence :P L, when (P, L) is the projective plane of orderq=2 orq=3. For some, but not all, of these , is isomorphic to the building associated withG=PGL(3,K) whereK is a local field with discrete valuation and residual field of orderq. We identify the for which this is the case, and in these cases, find embeddings of intoG. We also describe the arithmetic nature of these groups.     

On the commutator subgroup of a nonconnected central group

In this paperG denotes a central topologicalT ₂-group—G/Z(G) compact, whereZ(G) is the center. There are some results concerning compactness of the commutator subgroupG; in general (G)^– is compact ([3]), but not necessarilyG ([7]). If in additionG is a Lie group or ifG is connected,G is compact ([6], [5]). The purpose of this paper is to show, that if the componentG ₀ of the identity is open,G must be compact, and to give an example of a compact group with (G/G ₀) compact, whileG is not compact.Dedicated to Prof. R. Inzinger on his 70th birthday     

Subsets with Restricted Movement

Let G be a finite permutation group on a set with no fixed points in and let m and k be integers with 0 < m < k. For a finite subset of the movement of is defined as move() = max_gG| ^g \ |. Suppose further that G is not a 2-group and that p is the least odd prime dividing |G| and move() m for all k-element subsets of . Then either || k + m or k (7m – 5) / 2, || (9m – 3)/2. Moreover when || > k + m, then move() m for every subset of .     

Inequalities in Products of Minors of Totally Nonnegative Matrices

Let _I,I be the minor of a matrix which corresponds to row set I and column set I. We give a characterization of the inequalities of the form _{I,I K,K J,J L,L} which hold for all totally nonnegative matrices. This generalizes a recent result of Fallat, Gekhtman, and Johnson.     

On π-Solvable and Locally π-Solvable Groups with Factorization

We prove that, in a locally -solvable group G = AB with locally normal subgroups A and B, there exist pairwise-permutable Sylow - and p-subgroups A , A _p and B , B _p , p , of the subgroups A and B, respectively, such that A B is a Sylow -subgroup of the group G and, for an arbitrary nonempty set ,

The controllability of the equation x = ux

The equation x=uv, wherex R_n andu GM _n (M_n is the ring of all n × n real matrices), is considered. The equation is called weakly controllable if for arbitrary pointsa, b R ⁿ these exist pointsa and b' as near toa and b, respectively, as we like and a control transforming a into b. In this note algebraic criteria are given for the complete and the weak controllability of such equations in the case where the limiting set G is closed with respect to the operation of matrix multiplication and the G-module R_n is semisimple.Translated from Matematicheskie Zametki, Vol. 23, No. 2, pp. 253–259, February, 1978.     

Hasse-Witt matrices of Fermat curves

Let m be an integer with m3. Let K and K be perfect fields of characteristic p and p such that (p,m)=1 and (p,m)=1, respectively. Moreover let A and A be algebraic function fields over K and K defined by x^m+y^m=a(0, ak) and x^m+y^m=a(a0 ak), respectively. Put g=(m–1)(m–2)/2. Denote by M(K,p,a) and M(K,p,a) the Hasse-Witt matrices of A and A with respect to the canonical bases of holomorphic differentials. Then we show that if p+p0(mod.m) then rank M(K,p,a)+rank M(K,p,a)=g and if pp1 (mod.m) then rank M(K,p,a)=rank M(K,p,a).     

1-Homogeneous Graphs with Cocktail Party μ-Graphs

Let be a graph with diameter d 2. Recall is 1-homogeneous (in the sense of Nomura) whenever for every edge xy of the distance partition{{z V() | (z, y) = i, (x, z) = j} | 0 i, j d}is equitable and its parameters do not depend on the edge xy. Let be 1-homogeneous. Then is distance-regular and also locally strongly regular with parameters (v,k,,), where v = k, k = a ₁, (v – k – 1) = k(k – 1 – ) and c ₂ + 1, since a -graph is a regular graph with valency . If c ₂ = + 1 and c ₂ 1, then is a Terwilliger graph, i.e., all the -graphs of are complete. In [11] we classified the Terwilliger 1-homogeneous graphs with c ₂ 2 and obtained that there are only three such examples. In this article we consider the case c ₂ = + 2 3, i.e., the case when the -graphs of are the Cocktail Party graphs, and obtain that either = 0, = 2 or is one of the following graphs: (i) a Johnson graph J(2m, m) with m 2, (ii) a folded Johnson graph J¯(4m, 2m) with m 3, (iii) a halved m-cube with m 4, (iv) a folded halved (2m)-cube with m 5, (v) a Cocktail Party graph K _{m × 2} with m 3, (vi) the Schläfli graph, (vii) the Gosset graph.     

Covering the Hecke Triangle Surfaces

In the mid-1980s an equivalence was established between the simple closed geodesics on the Riemann surfaces obtained as quotients of the upper half plane H by any of the following subgroups of the modular group (1) : , (3), and ³. An axis of a hyperbolic element of (1) projects to a simple closed geodesic on one of these surfaces if and only if it does so on the other two.This equivalence was used to obtain a variety of Diophantine and geometric results. In subsequent related investigations, the role of (1) was assumed by the Hecke triangle group G_q for q 3. (For q = 3, we have (1) = G₃.) These works employed the analog of ³, denoted _q.In the context of the G_q, the present paper gives the analog of , which we denote _q. As in the case q = 3, we have [_q:_q] = 2. A rather full discussion of geometry of _q\ H is given. In particular, we demonstrate that the equivalence of simple closed geodesics on _q\ H and _q\ H does not hold for q 7.As of this writing, we have not been able to obtain an appropriate analog of (3).     

Relèvement selon une isogénie de systèmes ℓ-adiques de représentations galoisiennes associés aux motifs

Résumé Soit :G _E H(Q ) un système de représentations galoisiennes -adiques associées à un motif sur un corps de nombresE et à valeurs dans un groupe algébriqueH. SoitHH une isogénie centrale telle que la structure de Hodge complexe se relève àH. Nous prouvons, au moins dans certains cas, que, après restriction à une extension finieE deE, le système de représentations galoisiennes se relève àH.

---

Let :G _E H(Q ) be a system of -adic Galois representations associated to a motive over a number fieldE with values in the algebraic groupH. LetHH be a central isogeny such that the complex Hodge structure lifts toH. The main result is that, under some convenient hypothesis, and after restriction to a finite extension, the system of Galois representations lifts toH.

---

---

Oblatum 1-VIII-1993 @ 10-X-1994     

On the Projections of Multivalued Maps

This paper considers analogues of the Helmholtz projections of the set of selections of a piecewise smooth multivalued map , n2. It is shown that, for mn–1 (m=1), the closure of the projection of on the subspace of gradient fields (solenoidal vector fields) is a convex set. For the general case, there are given point-wise conditions on the values of the map which ensure that the closure of the projection of contains the zero element. Possible applications to optimal control problems are discussed.     

Probability and expectation inequalities

Summary This paper introduces a mathematical framework within which a wide variety of known and new inequalities can be viewed from a common perspective. Probability and expectation inequalities of the following types are considered: (a)P(ZA) P(ZA) for some class of setsA, (b)k(Z)k(Z) for some class of functionsk, and (c)l(Z)k(Z) for some class of pairs of functionsl andk. It is shown, sometimes using explicit constructions ofZ andZ, that, in several cases, (a) (b) (c); included here are cases of normal and elliptically contoured distributions. A case where (a) (b) (c) is studied and is expressed in terms ofn monotone functions for (some of) which integral representations are obtained. Also, necessary and sufficient conditions for (c) are given.Research supported by the Air Force Office of Scientific Research under Grants AFOSR-75-2796 and AFOSR-80-0080Research supported by the National Science Foundation under Grants MCS78-01240 and MCS81-00748     

Convergence of the highest derivatives in projection methods

Assume that for the approximate solution of an elliptic differential equation in a bounded domain , under a natural boundary condition, one applies the Galerkin method with polynomial coordinate functions. One gives sufficient conditions, imposed on the exact solutionu ^*, which ensure the convergence of the derivatives of order k of the approximate solutions, uniformly or in the mean in or in any interior subdomain. For example, ifu ^*W^k ₂, then the derivatives of order k converge in L₂(), where is an interior subdomain of . Somewhat weaker statements are obtained in the case of the Dirchlet problem.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 70, pp. 11–18, 1977.The author expresses his gratitude to Yu. K. Dem'yanovich for drawing his attention to [10].     

On the definition of isomorphisms of linear spaces

Let (P, ) and (P, ) be linear spaces satisfying the exchange axiom with dim P=dim P . Then a bijection :PP which maps collinear points onto collinear points is an isomorphism. Also a surjection :PP which maps any three non-collinear points to non-collinear points is an isomorphism. This assertion is not true if dim P is not finite.