Convex polyhedra of doubly stochastic matrices: II. Graph of Ωn

Properties of the graph $\text{G(Ω}{}_{\mathrm{n}}\text{)}$ of the polytope $\text{Ω}{}_{\mathrm{n}}$ of all n × n nonnegative doubly stochastic matrices are studied. If $\text{F}$ is a face of $\text{Ω}{}_{\mathrm{n}}$ which is not a k-dimensional rectangular parallelotope for k ≥ 2, then G($\text{F}$) is Hamilton connected. Prime factor decompositions of the graphs of faces of $\text{Ω}{}_{\mathrm{n}}$ relative to Cartesian product are investigated. In particular, if $\text{F}$ is a face of $\text{Ω}{}_{\mathrm{n}}$, then the number of prime graphs in any prime factor decomposition of G($\text{F}$) equals the number of connected components of the neighborhood of any vertex of G($\text{F}$). Distance properties of the graphs of faces of $\text{Ω}{}_{\mathrm{n}}$ are obtained. Faces $\text{F}$ of $\text{Ω}{}_{\mathrm{n}}$ for which G($\text{F}$) is a clique of $\text{G(Ω}{}_{\mathrm{n}}\text{)}$ are investigated.     

A multiplication of distributions

If Ω denotes an open subset of $\text{R}$ⁿ (n = 1, 2,…), we define an algebra $\text{g}$ (Ω) which contains the space $\text{D}$′(Ω) of all distributions on Ω and such that $\text{C}{}^{\mathrm{\infty }}\text{(Ω)}$ is a subalgebra of $\text{G}$ (Ω). The elements of $\text{G}$ (Ω) may be considered as “generalized functions” on Ω and they admit partial derivatives at any order that generalize exactly the derivation of distributions. The multiplication in $\text{G}$(Ω) gives therefore a natural meaning to any product of distributions, and we explain how these results agree with remarks of Schwartz on difficulties concerning a multiplication of distributions. More generally if q = 1, 2,…, and $\text{?∈O}{}_{\mathrm{M}}\text{(}\text{R}{}^{\mathrm{2q}}\text{)}$—a classical Schwartz notation—for any G₁,…,G_q∈G(σ), we define naturally an element $\text{?G}{}_1\text{,…,G}{}_{\mathrm{q}}\text{∈G(σ)}$. These results are applied to some differential equations and extended to the vector valued case, which allows the multiplication of vector valued distributions of physics.     

On the closability of some positive definite symmetric differential forms on c0∞(ω)

Let $\text{S}$ be a Dirichlet form in $\text{L}{}^2\text{(Ω; m)}$, where Ω is an open subset of $\text{R}$ⁿ, n ? 2, and m a Radon measure on Ω; for each integer k with 1 ? k < n, let $\text{S}$_k be a Dirichlet form on some k-dimensional submanifold $\text{Ω}{}_{\mathrm{k}}$ of Ω. The paper is devoted to the study of the closability of the forms E with domain $\text{C}{}_0{}^{\mathrm{\infty }}\text{(Ω)}$ and defined by: $\text{(?,g)=}$$\text{E}$$\text{(?, g)+}\text{∑}\text{i}\text{p}\text{=1}$$\text{E}$k_i where 1 ? k_p < ? < n, and where , g^k_i denote restrictions of ?, g in $\text{C}{}_0{}^{\mathrm{\infty }}\text{(Ω)}$ to . Conditions are given for E to be closable if, for each i = 1,…, p, one has k_i = n ? i. Other conditions are given for E to be nonclosable if, for some i, k_i < n ? i.     

Subextension of plurisubharmonic functions with bounded Monge–Ampère mass

Let $\text{Ω?}\text{C}{}^{\mathrm{n}}$ be a hyperconvex domain. Denote by $\text{E}{}_0\text{(Ω)}$ the class of negative plurisubharmonic functions ? on $\text{Ω}$ with boundary values 0 and finite Monge–Ampère mass on $\text{Ω.}$ Then denote by $\text{F}\text{(Ω)}$ the class of negative plurisubharmonic functions ? on $\text{Ω}$ for which there exists a decreasing sequence (?)_j of plurisubharmonic functions in $\text{E}{}_0\text{(Ω)}$ converging to ? such that $\text{sup}{}_{\mathrm{j}}\text{∫}{}_{\mathrm{\Omega }}\text{(dd}{}^{\mathrm{c}}\text{?}{}_{\mathrm{j}}\text{)}{}^{\mathrm{n}}\text{+∞.}$It is known that the complex Monge–Ampère operator is well defined on the class $\text{F}\text{(Ω)}$ and that for a function $\text{?∈}\text{F}\text{(Ω)}$ the associated positive Borel measure is of bounded mass on $\text{Ω.}$ A function from the class $\text{F}\text{(Ω)}$ is called a plurisubharmonic function with bounded Monge–Ampère mass on $\text{Ω.}$We prove that if $\text{Ω}$ and $\text{Ω}$ are hyperconvex domains with $\text{Ω?}\text{Ω}\text{?}\text{C}{}^{\mathrm{n}}$ and $\text{?∈}\text{F}\text{(Ω),}$ there exists a plurisubharmonic function $\text{?}\text{?}\text{∈}\text{F}\text{(}\text{Ω}\text{)}$ such that $\text{?}\text{?}\text{??}$ on $\text{Ω}$ and $\text{∫}{}_{\mathrm{<mtext>\Omega </mtext>}}\text{(dd}{}^{\mathrm{c}}\text{?}\text{?}\text{)}{}^{\mathrm{n}}\text{?∫}{}_{\mathrm{\Omega }}\text{(dd}{}^{\mathrm{c}}\text{?)}{}^{\mathrm{n}}\text{.}$ Such a function is called a subextension of ? to $\text{Ω}\text{.}$From this result we deduce a global uniform integrability theorem for the classes of plurisubharmonic functions with uniformly bounded Monge–Ampère masses on $\text{Ω.}$To cite this article: U. Cegrell, A. Zeriahi, C. R. Acad. Sci. Paris, Ser. I 336 (2003).     

Extension of a Riemannian metric with vanishing curvature

Let $\text{Ω}$ be a connected and simply-connected open subset of $\text{R}{}^{\mathrm{n}}$ such that the geodesic distance in $\text{Ω}$ is equivalent to the Euclidean distance. Let there be given a Riemannian metric (g_ij) of class $\text{C}{}^2$ and of vanishing curvature in $\text{Ω}$, such that the functions g_ij and their partial derivatives of order $\text{?}\text{2}$ have continuous extensions to $\text{Ω}$. Then there exists a connected open subset $\text{Ω}$ of $\text{R}{}^{\mathrm{n}}$ containing $\text{Ω}$ and a Riemannian metric $\text{(}\text{g}\text{?}{}_{\mathrm{ij}}\text{)}$ of class $\text{C}{}^2$ and of vanishing curvature in $\text{Ω}$ that extends the metric (g_ij). To cite this article: P.G. Ciarlet, C. Mardare, C. R. Acad. Sci. Paris, Ser. I 338 (2004).     

The unitary group over the integers of a quaternion algebra

Let L be a lattice over the integers of a quaternion algebra with center K which is a $\text{B}$-adic field. Then the unitary group U(L) equals its own commutator subgroup $\text{Ω(L)}$ and is generated by the unitary transvections and quasitransvections contained in it. Let g be a tableau, U(g), U⁺(g), $\text{Ω(g)}$, T(g) be the corresponding congruence subgroups of order g. Then $\text{U(g)}\text{U}{}^{\mathrm{+}}\text{(g)}\text{? X}{}_{\mathrm{i\; =\; 1}}{}^{\mathrm{\tau }}\text{Z}{}_2$, and $\text{Ω(g) = T(g)}$ (the subgroup generated by the unitary transvections and quasitransvections with order ≤ g). Let G be a subgroup of U(L) with o(G) = g, then G is normal in U(L) if and only if U(g) ? G ? T(g).     

The minimal generating space of a polynomial

Given a polynomial $\text{P(X}{}_1\text{,…,X}{}_{\mathrm{N}}\text{)∈}\text{R}\text{[}\text{X}\text{]}$, we calculate a subspace G_p of the linear space 〈X〉 generated by the indeterminates which is minimal with respect to the property $\text{P∈}\text{R}\text{[}\text{G}{}_{\mathrm{p}}\text{]}$ (the algebra generated by G_p, and prove its uniqueness. Furthermore, we use this result to characterize the pairs (P,Q) of polynomials P(X₁,…,X_n) and Q(X₁,…,X_n) for which there exists an isomorphism T:〈X〉 →〈X〉 that “separates P from Q,” i.e., such that for some k(1<k<n) we can write P and Q as $\text{P}{}^1\text{(Y}{}_1\text{,…,Y}{}_{\mathrm{k}}\text{)}$ and $\text{Q}{}^1\text{(Y}{}_{\mathrm{<mtext>k+</mtext><mtext>1</mtext>}}\text{,…,Y}{}_{\mathrm{n}}\text{)}$ respectively, where $\text{Y}\text{=T}\text{X}$.     

Parametrization of causal actions of universal covering groups and global hyperbolicity

The transformation group of the universal covering of the real projective line, obtained by lifting ordinary projective transformations, is given explicitly in terms of canonical coordinates. A similar formulation is given of the action of the universal covering of SU(2, 2) upon the universal covering of the ?hilov boundary of its associated bounded Hermitian symmetric domain, structured as R¹ × SU(2). The former group $\text{G}\text{?}$, isomorphic to $\text{S}\text{?}\text{U(1, 1)}$, has a unique and continuous bi-invariant global partial ordering ? (similar to that expressing space-time causality relations) corresponding to its bivariant Lorentzian metric; the partial ordering is the same as that induced by the ordering of the real line which the transformation group preserves. As an application, the compactness of the intervals $\text{[g}{}_1\text{, g}{}_2\text{] = {g ?}\text{G}\text{?}\text{: g}{}_1\text{? g ? g}{}_2\text{}}\text{for}\text{g}{}_1\text{, g}{}_2\text{?}\text{G}\text{?}$, necessary for global hyperbolicity of the metric, is studied. It is shown that [g₁, g₂] is compact if and only if g ? ζg₁ for all g in a neighborhood of g₂, where ζ is the generator of the center of $\text{G}\text{?}$ satisfying ζ ? e. In particular, the interior of [e, ζ] is a maximal open global hyperbolic submanifold; $\text{S}\text{?}\text{U(1, 1)}$ is not globally hyperbolic.     

Comparaison de deux indicateurs de la régularité en variation des queues de distributionsComparison between two indicators for the variation regularity of tails of distributions

We compare assumptions used in [4] in order to study the rate of convergence to 0, as u→s₊(F), of , where $\text{F}{}_{\mathrm{u}}$ is the survival function of the excesses over u, s₊(F)=sup{x,F(x)<1} is the upper end point of the distribution function (d.f.) F and $\text{G}{}_{\mathrm{\gamma }}$ is the survival function of the Generalized Pareto Distribution, with assumptions used in [2] in order to study the rate of convergence to 0, as n→+∞, of $\text{d}\text{?}{}_{\mathrm{n}}\text{=}\text{sup}{}_{\mathrm{<mtext>x\in </mtext><mtext>R</mtext>}}\text{|F}{}^{\mathrm{n}}\text{(x)?H}{}_{\mathrm{\gamma }}\text{(}\text{x?α}{}_{\mathrm{n}}\text{σ}{}_{\mathrm{n}}\text{)|}$, where H_γ is the d.f. of an extreme value distribution. In each case, an indicator linked to regular variation assumptions had been introduced. We characterize situations where these two indicators coincide, and others where they are different. To cite this article: R. Worms, C. R. Acad. Sci. Paris, Ser. I 334 (2002) 709–712.     

Stability and locally exact differentials on a curve

We show that the locally free sheaf $\text{B}{}_1\text{?F}{}_1\text{(Ω}{}^1{}_{\mathrm{X}}\text{)}$ of locally exact differentials on a smooth projective curve of genus g?2 over an algebraically closed field k of characteristic p is a stable bundle. This answers a question of Raynaud. To cite this article: K. Joshi, C. R. Acad. Sci. Paris, Ser. I 338 (2004).     

On the invariants of some Zi-extensions

Let k ? k₁ ? … ? K be a Z_i-extension. The relations of $\text{λ(}\text{K}\text{k}\text{)}$ and $\text{λ(}\text{KF}\text{F}\text{)}$ is studied, where $\text{F}\text{k}$ is a cyclic l-extension. If $\text{M}\text{k}$ is another Z_i-extension of k, it is shown that for i ? 0$\text{λ(}\text{Mk}{}_{\mathrm{i}}\text{k}{}_{\mathrm{i}}\text{) = rl}{}^{\mathrm{i}}\text{+ C}$, under minimal additional hypotheses. Finally if $\text{MK}\text{k}$ has a unique totally ramified prime, and X_K is cyclic, it is shown that MK can contain at most one Z_i-extension with non-zero μ invariant.     

Convex polyhedra of doubly stochastic matrices. I. Applications of the permanent function

The permanent function is used to determine geometrical properties of the set $\text{Ω}{}_{\mathrm{n}}$ of all n × n nonnegative doubly stochastic matrices. If $\text{F}$ is a face of $\text{Ω}{}_{\mathrm{n}}$, then $\text{F}$ corresponds to an n × n (0, 1)-matrix A, where the permanent of A is the number of vertices of $\text{F}$. If A is fully indecomposable, then the dimension of $\text{F}$ equals σ(A) ? 2n + 1, where σ(A) is the number of 1's in A. The only two-dimensional faces of $\text{Ω}{}_{\mathrm{n}}$ are triangles and rectangles. For n ? 6, $\text{Ω}{}_{\mathrm{n}}$ has four types of three-dimensional faces. The facets of the faces of $\text{Ω}{}_{\mathrm{n}}$ are characterized. Faces of $\text{Ω}{}_{\mathrm{n}}$ which are simplices are determined. If $\text{F}$ is a face of $\text{Ω}{}_{\mathrm{n}}$ which is two-neighborly but not a simplex, then $\text{F}$ has dimension 4 and six vertices. All k-dimensional faces with k + 2 vertices are determined. The maximum number of vertices of a k-dimensional face is 2^k. All k-dimensional faces with at least 2^k?1 + 1 vertices are determined.     

The asymptotic eigenvalue-distribution for a certain class of random matrices

For an n × n Hermitean matrix A with eigenvalues λ₁, …, λ_n the eigenvalue-distribution is defined by $\text{G(x, A) :=}\text{1}\text{n}$ · number {λ_i: λ_i ? x} for all real x. Let A_n for n = 1, 2, … be an n × n matrix, whose entries a_ik are for i, k = 1, …, n independent complex random variables on a probability space (Ω, $\text{R}$, p) with the same distribution F_a. Suppose that all moments $\text{E}$ | a | ^k, k = 1, 2, … are finite, $\text{E}$a=0 and $\text{E}$ | a | ². Let

$\text{M(A)=}\text{∑}\text{σ=1}\text{s}\text{θ}{}_{\mathrm{\sigma }}\text{P}{}_{\mathrm{\sigma }}\text{(A,A}{}^1\text{)}$

with complex numbers θ_σ and finite products P_σ of factors A and $\text{A}{}^1$ (= Hermitean conjugate) be a function which assigns to each matrix A an Hermitean matrix M(A). The following limit theorem is proved: There exists a distribution function G₀(x) = G₁x) + G₂(x), where G₁ is a step function and G₂ is absolutely continuous, such that with probability $\text{1 G(x, M(}\text{A}{}_{\mathrm{n}}\text{n}{}^{\mathrm{<mtext>1</mtext><mtext>2</mtext>}}\text{))}$ converges to G₀(x) as n → ∞ for all continuity points x of G₀. The density g of G₂ vanishes outside a finite interval. There are only finitely many jumps of G₁. Both, G₁ and G₂, can explicitly be expressed by means of a certain algebraic function f, which is determined by equations, which can easily be derived from the special form of M(A). This result is analogous to Wigner's semicircle theorem for symmetric random matrices (E. P. Wigner, Random matrices in physics, SIAM Review9 (1967), 1–23). The examples $\text{A}{}_{\mathrm{r}}\text{A}{}^{\mathrm{1r}}$, $\text{A}{}^{\mathrm{r}}\text{+ A}{}^{\mathrm{1r}}$, $\text{A}{}^{\mathrm{r}}\text{A}{}^{\mathrm{1r}}\text{± A}{}^{\mathrm{1r}}\text{A}{}^{\mathrm{r}}$, r = 1, 2, …, are discussed in more detail. Some inequalities for random matrices are derived. It turns out that with probability 1 the sharpened form

$\text{lim sup}\text{n→∞}\text{∑}\text{i=1}{}^{\mathrm{n}}\text{|γ}{}_{\mathrm{i}}{}^{\mathrm{(n)}}\text{|}{}^2\text{?6A}{}_{\mathrm{n}}\text{6}{}^2\text{? 0.8228…}$

of Schur's inequality for the eigenvalues λ_i⁽ⁿ⁾ of A_n holds. Consequently random matrices do not tend to be normal matrices for large n.     

Strong law for the bootstrap

Let X₁, X₂, X₃, … be i.i.d. r.v. with E|X₁| < ∞, E X₁ = μ. Given a realization X = (X₁,X₂,…) and integers n and m, construct Y_n,i, i = 1, 2, …, m as i.i.d. r.v. with conditional distribution $\text{P}{}^1\text{(Y}{}_{\mathrm{n,i}}\text{= X}{}_{\mathrm{j}}\text{) =}\text{1}\text{n}$ for 1 ? j ? n. ($\text{P}{}^1$ denotes conditional distribution given X). Conditions relating the growth rate of m with n and the moments of X₁ are given to ensure the almost sure convergence of $\text{(}\text{1}\text{m}\text{)Σ}{}^{\mathrm{m}}{}_{\mathrm{i=1}}\text{Y}{}_{\mathrm{n,i}}$ toμ. This equation is of some relevance in the theory of Bootstrap as developed by Efron (1979) and Bickel and Freedman (1981).     

Commuting self-adjoint partial differential operators and a group theoretic problem

In Rⁿ let Ω denote a Nikodym region (= a connected open set on which every distribution of finite Dirichlet integral is itself in $\text{L}{}^2\text{(Ω))}$. The existence of n commuting self-adjoint operators $\text{H}{}_1\text{,…, H}{}_{\mathrm{n}}\text{in}\text{L}{}^2\text{(Ω)}$ such that each H_j is a restriction of $\text{?i β}\text{βx}{}_{\mathrm{j}}$ (acting in the distribution sense) is shown to be equivalent to the existence of a set Λ ?Rⁿ such that the restrictions to Ω of the functions exp i ∑ λ_jx_j form a total orthogonal family in $\text{L}{}^2\text{(Ω)}$. If it is required, in addition, that the unitary groups generated by H₁,…, H_n act multiplicatively on $\text{L}{}^2\text{(Ω)}$, then this is shown to correspond to the requirement that Λ can be chosen as a subgroup of the additive group Rⁿ. The measurable sets Ω ?Rⁿ (of finite Lebesgue measure) for which there exists a subgroup Λ ?Rⁿ as stated are precisely those measurable sets which (after a correction by a null set) form a system of representatives for the quotient of Rⁿ by some subgroup Γ (essentially the dual of Λ).     

Uniqueness and faithfulness of embedding of toroidal graphs

A topological generalization of the uniqueness of duals of 3-connected planar graphs will be obtained. A graph G is uniquely embeddable in a surface F if for any two embeddings $\text{?}{}_1$, $\text{?}{}_2\text{:G → F}$, there are an autohomeomorphism h:F → F and an automorphism σ:G → G such that $\text{h°?}{}_1\text{= ?}{}_2\text{°σ}$. A graph G is faithfully embedabble in a surface F if there is an embedding $\text{?:G → F}$ such that for any automorphism σ:G → G, there is an autohomeomorphism h:F → F with $\text{h°? = f°σ}$. Our main theorems state that any 6-connected toroidal graph is uniquelly embeddable in a torus and that any 6-connected toroidal graph with precisely three exceptions is faithfully embeddable in a torus. The proofs are based on a classification of 6-regular torus graphs.     

Higher analogues of Stickelberger's theorem

Let l be an odd prime number, F denote any totally real number field and E/F be an Abelian CM extension of F of conductor f. In this paper we prove that for every n odd and almost all prime numbers l we have where S_n(E/F,l) is the Stickelberger ideal (Ann. of Math. 135 (1992) 325–360; J. Coates, p-adic L-functions and Iwasawa's theory, in: Algebraic Number Fields by A. Fröhlich, Academic Press, London, 1977). In addition if we assume the Quillen–Lichtenbaum conjecture then To cite this article: G. Banaszak, C. R. Acad. Sci. Paris, Ser. I 337 (2003).     

Cogrowth and amenability of discrete groups

Let G be a group and g₁,…, g_t a set of generators. There are approximately (2t ? 1)ⁿ reduced words in g₁,…, g_t, of length ?n. Let $\text{}\text{?}\text{gg}{}_{\mathrm{n}}$ be the number of those which represent 1_G. We show that $\text{γ =}\text{lim}{}_{\mathrm{n\; \to \; \infty }}\text{(}\text{}\text{?}\text{gg}{}_{\mathrm{n}}\text{)}{}^{\mathrm{<mtext>1</mtext><mtext>n</mtext>}}$ exists. Clearly 1 ? γ ? 2t ? 1. $\text{η =}\text{(}\text{log}\text{γ)}\text{(}\text{log}\text{(2t ? 1))}$ is the cogrowth. 0 ? η ? 1. In fact $\text{η ∈ {0} ∪ (}\text{1}\text{2}\text{, 1¦}$. The entropic dimension of G is shown to be 1 ? η. It is then proved that d(G) = 1 if and only if G is free on g₁,…, g_t and d(G) = 0 if and only if G is amenable.