Une méthode de comparaison isopérimétrique de fonctionnelles de domaines de la physique mathématique I. Première partie: une démonstration de la conjecture isopérimétrique Pλ2 ≥ πj 0 4 /2 de Pólya et Szegö

Résumé Soient _G la première valeur propre de la membrane à contour fixé sur un domaine simplement connexeG, etP _G la rigidité à la torsion deG. En construisant un cercleK tel queP _K P _G et _{K G}, on démontre la conjecture de Pólya et Szegö [14]; P_{G G} ² j ₀ ² /2. Ce résultat renforce le théorème isopérimétrique classique de Rayleigh [15], Faber [4] et Krahn [10].

---

Summary Let _G be the first eigenvalue of the fixed membrane on a simply connected domainG, and letP _G be the torsional rigidity ofG. We prove Pólya-Szegö's conjecture [14]: P_{G G} ² j ₀ ² /2, by constructing a circleK such thatP _K P _G and _{K G}. This result sharpens the classical isoperimetric theorem of Rayleigh [15], Faber [4] and Krahn [10].

     

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     

A condition for nonnegativity of an operator related to the Dirichlet operator

Let L₀ be a positive definite closed linear operator with domain of definition D(L₀) dense in the Hilbert space H; let(, ₁, ₂) be the positive boundary value space of the operator L₀ such that the restriction of L ₀ ^* to ker ₂ is the Friedrichs extension of the operator L₀. We establish a test for nonnegativity of an operator T of the form Ty=L ₀ ^* y+^*(₁–C)y, y D(T)= ker(₂+), where :H and C: are respectively a compact operator and a bounded nonnegative operator.Translated fromMatematicheskie Metody i Fiziko-Mekhanicheskie Polya, Issue 32, 1990, pp. 30–33.     

The Bruhat decomposition,Tits system and Iwahori ring for the monoid of matrices over a finite field

Let G=GL _n (F _q ) be the finite general linear group and let M=M _n (F _q ) be the monoid of all n×n matrices over F _q . Let B be a Borel subgroup of G, let W be the subgroup of permutation matrices, and let W be the monoid of all zero-one matrices which have at most one non-zero entry in each row and each column. The monoid plays the same role for M that the Weyl group W does for G. In particular there is a length function on which extends the length function on W and a C-algebra H _C (M, B) which includes Iwahori's Hecke algebra H _C (G, B) and shares many of its properties.For Jacques Tits on his sixtieth birthday     

Turán's extremal problem in random graphs: Forbidding odd cycles

For 0<1 and graphsG andH, we writeGH if any -proportion of the edges ofG span at least one copy ofH inG. As customary, we writeC ^k for a cycle of lengthk. We show that, for every fixed integerl1 and real >0, there exists a real constantC=C(l, ), such that almost every random graphG _{n, p} withp=p(n)Cn ^–1+1/2l satisfiesG _n,p1/2+ C ^2l+1. In particular, for any fixedl1 and >0, this result implies the existence of very sparse graphsG withG _1/2+ C ^2l+1.The first author was partially supported by NSERC. The second author was partially supported by FAPESP (Proc. 93/0603-1) and by CNP_q (Proc. 300334/93-1). The third author was partially sopported by KBN grant 2 1087 91 01.     

All Lambda-Designs With λ = 2 p are Type-1

A-design is a family B ₁,B ₂,...,B _v of subsets of X={1, 2,..., v} such that B _i B _j = for all i jand not all B _i are of the same size. Ryser's andWoodall's -design conjecture states thateach -design can be obtained from a symmetricblock design by a certain complementation procedure. Our mainresult is that the conjecture is true when is twice a prime number.     

[FIA] B − Gruppen und Hypergruppen

The spaceG _B of -orbits of an [FIA] _B ^– groupG is a commutative hypergroup (=commutative convo in Jewett's terminology). Its space of hypergroup characters is a hypergroup itself (see [3]) which can be identified withE (G, B) (the extreme points ofB-invariant positive definite continuous functionsp:G withp (e)=1), endowed with the topology of compact convergence. We determine the structure space ofL ¹ (E(G, B), _PL ) where _PL is the Plancherel measure (which is the Haar measure ofE(G, B)) and characterize the convolution algebrasM (E(G, B)) andL ¹ (E(G, B)) via the inverse Fourier-Stieltjes transformation.     

Surfaces and the second homology of a group

LetG be a group andK(G, 1) an Eilenberg—MacLane space, i.e. ₁(K(G,1))G, _i (K(G,1))=0,i1. We give a purely algebraic proof that the second homology groupH ₂(G)=H ₂(G,)H ₂(K(G,1)) is isomorphic to the group of stable equivalence classes of continuous mapsFK(G,1) inducing surjections on fundamental groups (resp. surjections, whereF{F _g=closed orientable surface of genusg,g}. As a corollary we obtain an algebraic proof of the well-known isomorphismH ₂(G)₂(K(G,1)) (2-dimensional bordism group).     

Matrix summability and a generalized Gibbs phenomenon

Letf be a real-valued function sequence {f _k } that converges to on a deleted neighborhoodD of . If there is a subsequence {f _k(j) } and a number sequencex such that lim _j x _j = and either lim _j f _k(j) (x _j )>lim sup _x (x) or lim _j f _k(j) (x _j ) x (x), thenf is said to display theGibbs phenomenon at . IfA is a (real) summability matrix, thenAf is a function sequence given by(Af) _n (x)= _k=0 a _n,k f _k (x). IfAf displays the Gibbs phenomenon wheneverf does, thenA is said to beGP-preserving. By replacingf _k (x) withf _k (x _j )F _k,j , the Gibbs phenomenon is viewed as a property of the matrixF, andGP-preserving matrices are determined by properties of the matrix productAF. The general results give explicit conditions on the entries {a _n,k } that are necessary and/or sufficient forA to beGP-preserving. For example: if(x)0 thenF displaysGP iff lim _k,j F _k,j 0, and ifA isGP-preserving then lim _n,k A _n,k 0. IfA is a triangular matrix that is stronger than convergence, thenA is notGP-preserving. The general results are used to study the preservation of the Gibbs phenomenon by matrix methods of Nörlund, Hausdorff, and others.     

Duals of orbit spaces in groups with relatively compact inner automorphism groups are hypergroups

For a locally compact groupG and a groupB of topological automorphisms containing the inner automorphisms ofG and being relatively compact with respect to Birkhoff topology (that isG[FIA] _B,B I(G)) the spaceG _B of -orbits is a commutative hypergroup (=commutative convo inJewett's terminology) in a natural way asJewett has shown. Identifying the space of hypergroup characters ofG _B withE(G, B) (the extreme points ofB-invariant positive definite continuous functionsp withp (e)=1, endowed with the topology of compact convergence) we prove thatE(G, B) is a hypergroup, the hypergroup dual ofG _B.     

Points cônes du mouvement brownien plan,le cas critique

Summary LetB=(B _t,t0) be a planar Brownian motion and let >0. For anyt0, the pointz=B _t is called a one-sided cone point with angle if there exist >0 and a wedgeW(,z) with vertexz and angle such thatB _sW(,z) for everys[t, t+]. Burdzy and Shimura have shown independently that one-sided cone points with angle exist when >/2 but not when      

An Investigation of the Fields of Bounded Formal Power Series by Means of Theory of Cuts

We consider a class K of real closed fields F, |F|=|G|=₁, where G is a group of Archimedean classes of F, and cofinality of each symmetric gap of F is ₁. We will show that this class is exactly a class of all bounded formal power series RG,₁, where G is a divisible Abelian group, card(G)=₁, under CH. A nonstandard real line ^*R, which is ₁-set belongs to this class; we will also consider a construction RG(L,P),₁ of fields from this class, where L is a totally ordered set, P is a totally ordered field, G(L,P) is a group of finite words. It will be describes symmetric gaps of such two fields in K, which are not ₁-set. Mathematics Subject Classifications (2000) 03E04, 12J15, 12J25.The work was supported by grant of Ministry of Education PD02-1.1-386.     

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 .     

On the singular graph and the Weyr characteristic of anM-matrix

LetA be anM-matrix in standard lower block triangular form, with diagonal blocksA _ii irreducible. LetS be the set of indices such that the diagonal blockA is singular. We define the singular graph ofA to be the setS with partial order defined by > if there exists a chain of non-zero blocksA _i, A_ij, , A_l.Let ₁ be the set of maximal elements ofS, and define thep-th level _p ,p = 2, 3, , inductively as the set of maximal elements ofS \( _{1 p-1}). Denote by _p the number of elements in _p . The Weyr characteristic (associated with 0) ofA is defined to be (A) = ( ₁, ₂,, _h ), where ₁ + + _p = dim KerA ^p ,p = 1, 2, , and _h > 0, _h+1 = 0.Using a special type of basis, called anS-basis, for the generalized eigenspaceE(A) of 0 ofA, we associate a matrixD withA. We show that(A) = ( ₁, , _h) if and only if certain submatricesD _p,p+1 ,p = 1, , h – 1, ofD have full column rank. This condition is also necessary and sufficient forE(A) to have a basis consisting of non-negative vectors, which is a Jordan basis for –A. We also consider a given finite partially ordered setS, and we find a necessary and sufficient condition that allM-matricesA with singular graphS have(A) = ( ₁, , _h). This condition is satisfied ifS is a rooted forest.The work of the second-named author was partly supported by the National Science Foundation, under grant MPS-08618 A02.     

Les classes de Chern des représentations galoisiennes complexes

Let F be a field, G _F its absolute Galois group, : G _FGL(C) a continuous complex representation of G _F and c _i() H_2i(F, Z) its Chern classes. We show, under a mild assumption on F. that c _i ()=0 for all i2. For general F, one has that 2c_i ()=0 for all i 2.

Cette dernière condition résulte en fait de la continuité de .     

Cohomology of solvable lie algebras and solvmanifolds

The cohomology H^* (G/,) of the de Rham complex *(G/) of a compact solvmanifold G/ with deformed differential d = d + , where is a closed 1 -form, is studied. Such cohomologies naturally arise in Morse-Novikov theory. It is shown that, for any completely solvable Lie group G containing a cocompact lattice G, the cohomology H^*(G/, ) is isomorphic to the cohomology H^*( ) of the tangent Lie algebra of the group G with coefficients in the one-dimensional representation : defined by () = (). Moreover, the cohomology H ^*(G/,) is nontrivial if and only if -[] belongs to a finite subset of H ¹(G/,) defined in terms of the Lie algebra .Translated from Matematicheskie Zametki, vol. 77, no. 1, 2005, pp. 67–79.Original Russian Text Copyright © 2005 by D. V. Millionshchikov.This revised version was published online in April 2005 with a corrected issue number.     

A Foliation of the Space of Conjugacy Classes of Representations of a Surface Group

Let be the fundamental group of a closed orientable surface of genus g 1, and let R(, G)/G be the space of conjugacy classes of representations of into a connected real reductive Lie group G. Motivated by the theory of geometric quantization, we define a map ¯ on R(, G)/G and investigate whether the fibres of ¯ are isotropic with respect to the natural symplectic structure on R(, G)/G. If g = 2 and G = SU(2), then the foliation given by the fibres of ¯ is equivalent to a real polarization defined by Weitsman, and we reprove his result that the fibres are isotropic in this case. If g = 1 then the fibres of ¯ are also isotropic, but we give an example to show that in general they are not.     

Almost Covers Of 2-Arc Transitive Graphs

Let be a G-symmetric graph whose vertex set admits a nontrivial G-invariant partition with block size v. Let be the quotient graph of relative to and [B,C] the bipartite subgraph of induced by adjacent blocks B,C of . In this paper we study such graphs for which is connected, (G, 2)-arc transitive and is almost covered by in the sense that [B,C] is a matching of v-1 2 edges. Such graphs arose as a natural extremal case in a previous study by the author with Li and Praeger. The case K _v+1 is covered by results of Gardiner and Praeger. We consider here the general case where K _v+1, and prove that, for some even integer n 4, is a near n-gonal graph with respect to a certain G-orbit on n-cycles of . Moreover, we prove that every (G, 2)-arc transitive near n-gonal graph with respect to a G-orbit on n-cycles arises as a quotient of a graph with these properties. (A near n-gonal graph is a connected graph of girth at least 4 together with a set of n-cycles of such that each 2-arc of is contained in a unique member of .)     

Asymptotic Expansions for the Congestion Period for the M/M/∞ Queue

We consider the M/M/ queue with arrival rate , service rate and traffic intensity =/. We analyze the first passage distribution of the time the number of customers N(t) reaches the level c, starting from N(0)=m>c. If m=c+1 we refer to this time period as the congestion period above the level c. We give detailed asymptotic expansions for the distribution of this first passage time for , various ranges of m and c, and several different time scales. Numerical studies back up the asymptotic results.     

On Piecewise-Constant Approximation of Continuous Functions of n Variables in Integral Metrics

We consider the approximation by piecewise-constant functions for classes of functions of many variables defined by moduli of continuity of the form (₁, ..., _n ) = ₁(₁) + ... + _n ( _n ), where _i ( _i ) are ordinary moduli of continuity that depend on one variable. In the case where _i ( _i ) are convex upward, we obtain exact error estimates in the following cases: (i) in the integral metric L ₂ for (₁, ..., _n ) = ₁(₁) + ... + _n ( _n ); (ii) in the integral metric L _p (p 1) for (₁, ..., _n ) = c ₁₁ + ... + c _{n n} ; (iii) in the integral metric L _{(2, ..., 2, 2r)} (r = 2, 3, ...) for (₁, ..., _n ) = ₁(₁) + ... + _{n – 1}( _{n – 1}) + c _{n n} .