Duality between some linear preserver problems. II. Isometries with respect to c-special norms and matrices with fixed singular values

Let $\text{F}{}_{\mathrm{m\times n}}$ (m?n) denote the linear space of all m × n complex or real matrices according as $\text{F}$=$\text{C}$ or $\text{R}$. Let c=(c₁,…,c_m)≠0 be such that c₁???c_m?0. The c-spectral norm of a matrix A?$\text{F}$_m×n is the quantity

$\text{6A6}{}_{\mathrm{c}}\text{∑}\text{i=I}\text{m}\text{c}{}_{\mathrm{i}}\text{σ}{}_{\mathrm{i}}\text{(A)}$

. where σ₁(A)???σ_m(A) are the singular values of A. Let d=(d₁,…,d_m)≠0, where d₁???d_m?0. We consider the linear isometries between the normed spaces $\text{(}\text{F}{}_{\mathrm{m\times }}{}_{\mathrm{n}}\text{,∥·∥}{}_{\mathrm{<mtext>c</mtext>}}\text{)}$ and $\text{(}\text{F}{}_{\mathrm{m\times }}{}_{\mathrm{n}}\text{,∥·∥}{}_{\mathrm{d}}\text{)}$, and prove that they are dual transformations of the linear operators which map $\text{L}$(d) onto $\text{L}$(c), where

$\text{L}\text{(c)= {X?}\text{F}{}_{\mathrm{m\times n}}\text{:X}\text{has singular values}\text{c}{}_1\text{,…,c}{}_{\mathrm{m}}\text{}}$

.     

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.     

On some results of Strichartz and of Rallis and Schiffman

Let (i, H, E) and (j, K, F) be abstract Wiener spaces and let α be a reasonable norm on E ? F. We are interested in the following problem: is ($\text{i ? j, H}\text{}\text{?}\text{bo}{}_2\text{K, E}\text{}\text{?}\text{bo}{}_{\mathrm{\alpha F}}$) an abstract Wiener space ? The first thing we do is to prove that the setting of the problem is meaningfull: namely, i ? j is always a continuous one to one map from $\text{H}\text{}\text{?}\text{bo}{}_2\text{K}$ into $\text{E}\text{}\text{?}\text{bo}{}_{\mathrm{\alpha }}\text{F}$. Then we exhibit an example which shows that the answer cannot be positive in full generality. Finally we prove that if F=L^p(X,$\text{X}$,λ) for some σ-finite measure λ ? 0 then $\text{(i?j, H}\text{?}{}_2\text{K,L}{}^{\mathrm{p}}$(X,$\text{X}$,λ) is an abstract Wiener space. By-products are some new results on γ-radonifying operators, and new examples of Banach spaces and cross norms for which the answer is affirmative (in particular α = π the projective norm, and F=L¹(X,$\text{X}$,λ)).     

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.     

Corresponding residue systems in nonnormal extensions of prime degree

Let K₁ and K₂ be number fields and $\text{F = K}{}_1\text{? K}{}_2$. Suppose $\text{K}{}_1\text{F}$ and $\text{K}{}_2\text{F}$ are of prime degree p but are not necessarily normal. Let N₁ and N₂ be the normal closures of K₁ and K₂ over F, respectively, L = K₁K₂, N = N₁N₂, and $\text{B}$ be a prime divisor of N which divides p and is totally ramified in $\text{K}{}_1\text{F}$ and $\text{K}{}_2\text{F}$. Let ${}_{\mathrm{<mtext>N</mtext><mtext>L</mtext>}}$ be the ramification index of $\text{B}$ in $\text{N}\text{L}$, $\text{t}{}_{\mathrm{<mtext>L</mtext><mtext>F</mtext>}}$ be the total ramification number of $\text{B}$ in $\text{L}\text{F}$, and . Then $\text{M}$(K₁, K₂) is exactly divisible by $\text{B}$^M, where .     

A rapidly convergent iteration method and Gâteaux differentiable operators

Let {F_r}_0?r?p be a family of Banach spaces satisfying, if 0?r₁?r₂?p, (i)F_r1 ? F_r2; (ii)$\text{¦f¦}{}_{\mathrm{r1}}\text{? ¦f¦}{}_{\mathrm{r2}}\text{(f ? F}{}_{\mathrm{r1}}\text{)}$; and (iii)$\text{?(r) = ln(¦f¦}{}_{\mathrm{r}}\text{)}$ is a convex function. Let G₀ be a Banach space and. $\text{F}$ be a Gâteaux differentiate mapping, and suppose that $\text{F}$′(x)(F_p) is dense in G₀. Under appropriate assumptions, the equation $\text{F}$(x)=0 has a solution in F_r for 0?r?p. The results extend the Inverse Function Theorem of J. Moser to the class of Gâteaux differentiable operators.     

Isomorphisms between Lp-function spaces when p < 1

We prove a number of results concerning isomorphisms between spaces of the type L_p(X), where X is a separable p-Banach space and 0 < p < 1. Our results imply that the quotient of L_p([0, 1] × [0, 1]) by the subspace of functions depending only on the first variable is not isomorphic to L_p, answering a question of N. T. Peck. More generally if $\text{B}$₀ is a sub-σ-algebra of the Borel sets of [0, 1], then $\text{L}{}_{\mathrm{p}}\text{([0, 1])}\text{L}{}_{\mathrm{p}}\text{([0, 1]}$, $\text{B}$₀) is isomorphic to L_p if and only if L_p([0, 1], B₀) is complemented. We also show that L_p has, up to isomorphism, at most one complemented subspace non-isomorphic to L_p and classify completely those spaces X for which $\text{L}{}_{\mathrm{p}}\text{(X) ? L}{}_{\mathrm{p}}$. In particular if $\text{L(L}{}_{\mathrm{p}}\text{, X) = {0}}\text{and}\text{L}{}_{\mathrm{p}}\text{(X) ? L}{}_{\mathrm{p}}$ then $\text{X ? l}{}_{\mathrm{p}}$ or is finite-dimensional. If X has trivial dual and $\text{L}{}_{\mathrm{p}}\text{(X) ? L}{}_{\mathrm{p}}\text{then}\text{X ? L}{}_{\mathrm{p}}$.     

Combinatorial sums,identities and trace identities of the 2 × 2 matrices

An asymptotic formula, involving integrals, is given for certain combinatorial sums. By evaluating a multi-integral it is then found that as n → ∞, the codimensions c_n(F₂) and the trace codimensions t_n(F₂) of F₂, the 2 × 2 matrices, are asymptotically equal: $\text{c}{}_{\mathrm{n}}\text{(F}{}_2\text{) ? t}{}_{\mathrm{n}}\text{(F}{}_2\text{)}$.     

Properties of certain algebras between L∞and H∞

The main result of this paper is that if F is a closed subset of the unit circle, then $\text{(H}{}^{\mathrm{\infty }}\text{+ L}{}_{\mathrm{F}}{}^{\mathrm{\infty }}\text{)}\text{H}{}^{\mathrm{\infty }}$ is an M-ideal of $\text{L}{}^{\mathrm{\infty }}\text{H}{}^{\mathrm{\infty }}$. Consequently, if $\text{? ∈ L}{}^{\mathrm{\infty }}$ then ? has a closest element in H^∞ + L_F^∞. Furthermore, if $\text{¦F¦ >0}\text{then}\text{L}{}^{\mathrm{\infty }}\text{(H}{}^{\mathrm{\infty }}\text{+ L}{}_{\mathrm{F}}{}^{\mathrm{\infty }}\text{)}$ is not the dual of any Banach space.     

Maximal Element Theorems with Applications to Generalized Games and Systems of Generalized Vector Quasi-Equilibrium Problems in <Emphasis Type="Italic">G</Emphasis>-Convex Spaces

By applying the maximal element theorems on product of G-convex spaces due to the first author, some equilibrium existence theorems for generalized games with fuzzy constraint correspondences are proved in G-convex spaces. As applications, some existence theorems of solutions for the system of generalized vector quasiequilibrium problem are established in noncompact product of G-convex spaces. Our results improve and generalize some recent results in the literature to product of G-convex spaces.The authors thank the referees for valuable comments and suggestionsThe research of this author was supported by the National Science Foundation of China, Sichuan Education Department.The research of this author was supported by the National Science Council of the Republic of China.     

Représentations de Gelfand–Graev pour les groupes réductifs non connexesGelfand–Graev representations for non connected reductive groups

Let G be a connected reductive group defined over $\text{F}{}_{\mathrm{q}}$ and let F be the corresponding Frobenius endomorphism. Let σ be a quasi-central rational automorphism of G. We define in this article Gelfand–Graev representations of the group $\text{G}{}^{\mathrm{F}}\text{=G}{}^{\mathrm{F}}\text{.〈σ〉}$ when σ is unipotent and when it is semi-simple. We show that they have similar properties to Gelfand–Graev representations of the group G^F. To cite this article: K Sorlin, C. R. Acad. Sci. Paris, Ser. I 334 (2002) 179–184.     

On the number of latent subsets of intersecting collections

Given two collections F₁ and F₂ of sets, each member of one intersecting each member of the other, let the collections of latent sets F_i^L, i = 1, 2, be the sets that are contained in members of F_i but that are not themselves members of F_i. If lower case letters indicate the size of the collections we then have

$\text{?}{}_1{}^{\mathrm{L}}\text{?}{}_2{}^{\mathrm{L}}\text{? ?}{}_1\text{?}{}_2$

This result is used to prove that a self-intersecting subfamily F of a simplical complex G having the property that any element of F contains s₁ or s₂ can be no larger than the lesser of the number of elements of G containing s₁ and the number containing s₂. Certain extensions and a related conjecture of Chvátal are described.     

Qualitative behavior of special functions on compact symmetric spaces

For a symmetric space $\text{G}\text{K}$ of compact type, the highest-weight vectors for representations of G occurring in $\text{L}{}^2\text{(G}\text{K)}$ become heavily concentrated near certain submanifolds of $\text{G}\text{K}$ as the highest weight goes to infinity. This fact is applied to obtain estimates for the spectral measures of the operators qλ = P_λqP_λ, where $\text{P}{}_{\mathrm{\lambda }}\text{: L}{}^2\text{(}\text{G}\text{K}\text{) → V}{}_{\mathrm{\lambda }}$ is an orthogonal projection onto a G-irreducible summand, and q: G/K → $\text{R}$ is a continuous function acting on $\text{L}{}^2\text{(G}\text{K)}$ by multiplication.     

Un analogue d'un théorème de Hardy pour la transformation de DunklAn analogue of Hardy's theorem for the Dunkl transform

In this Note we give a generalization of Hardy's theorem for the Dunkl transform $\text{F}{}_{\mathrm{D}}$ on $\text{R}{}^{\mathrm{d}}$. More precisely, for all a>0, b>0 and p,q∈[1,+∞], we determine the measurable functions f such that and , where $\text{L}{}_{\mathrm{k}}{}^{\mathrm{p}}\text{(}\text{R}{}^{\mathrm{d}}\text{)}$ are the L^p spaces associated with the Dunkl transform. To cite this article: L. Gallardo, K. Trimèche, C. R. Acad. Sci. Paris, Ser. I 334 (2002) 849–854.     

Uncertainty principle and Lp–Lq-sufficient pairs on noncompact real symmetric spaces

We consider a real semi-simple Lie group G with finite center and a maximal compact sub-group K of G. Let $\text{G=K}\text{exp}\text{(}\text{a}{}_{\mathrm{+}}\text{)K}$ be a Cartan decomposition of G. For x∈G denote ∥x∥ the norm of the $\text{a}{}_{\mathrm{+}}$-component of x in the Cartan decomposition of G. Let $\text{a>0,}\text{b>0}$ and 1?p,q?∞. In this Note we give necessary and sufficient conditions on $\text{a,}\text{b}$ such that for all K-bi-invariant measurable function f on G, if e^a∥x∥2f∈L^p(G) and then f=0 almost everywhere. To cite this article: S. Ben Farah, K. Mokni, C. R. Acad. Sci. Paris, Ser. I 336 (2003).     

Integral transforms of analytic functions on abstract Wiener spaces

Let (H, B) be an abstract Wiener pair and p_t the Wiener measure with variance t. Let $\text{E}$_a be the class of exponential type analytic functions defined on the complexification [B] of B. For each pair of nonzero complex numbers α, β and f ? $\text{E}$_a, we define

$\text{F}{}_{\mathrm{\alpha ,\beta }}\text{f(y)=}\text{∫}\text{B}\text{f(αx+βy)p}{}_1\text{(dx) (y ?[B]).}$

We show that the inverse $\text{F}$_α,β^?1 exists and there exist two nonzero complex numbers α′,β′ such that

. Clearly, the Fourier-Wiener transform, the Fourier-Feynman transform, and the Gauss transform are special cases of $\text{F}$_α,β. Finally, we apply the transform to investigate the existence of solutions for the differential equations associated with the operator $\text{N}$_c, where c is a nonzero complex number and $\text{N}$_c is defined by

$\text{N}{}_{\mathrm{c}}\text{u(x)=?Δu(x)+c(x,Du(x))}$

where Δ is the Laplacian and (·, ·) is the $\text{B-B}{}^1$ pairing. We show that the solutions can be represented as integrals with respect to the Wiener measure.     

Loeb-measurable solutions to 1finite games

Let ¹M be a denumerately comprehensive enlargement of a set-theoretic structure sufficient to model R. If F is an internal ¹finite subset of ¹N such that $\text{F = {1,…,γ}, γ?}{}^1\text{N?N}$, we define a class of ¹finite cooperative games having the form $\text{Γ}{}_{\mathrm{F}}\text{(}{}^1\text{ν) = 〈F,A(F),}{}^1\text{ν〉}$, where A(F) is the internal algebra of the internal subsets of F, and ${}^1\text{ν}$ is a set-function with $\text{Dom}{}^1\text{ν=A(F)}$, $\text{Rng}{}^1\text{ν =}{}^1\text{R}{}_{\mathrm{+}}$, and ${}^1\text{ν(Ø) = 0}$. If $\text{SI(}{}^1\text{ν)}$ is the space of S-imputations of a game Γ_F(¹ν) such that ${}^1\text{ν(F)<η}$, for some $\text{η?}{}^1\text{N}$, then we prove that $\text{SI(}{}^1\text{ν)}$ contains two nonempty subsets: $\text{QK(Γ}{}_{\mathrm{F}}\text{(}{}^1\text{ν))}$ and $\text{SM}{}_1\text{(Γ}{}_{\mathrm{F}}\text{(}{}^1\text{ν))}$, termed the quasi-kernel and S-bargaining set, respectively. Both $\text{QK(Γ}{}_{\mathrm{F}}\text{(}{}^1\text{ν))}$ and $\text{SM}{}_1\text{(Γ}{}_{\mathrm{F}}\text{(}{}^1\text{ν))}$ are external solution concepts for games of the form Γ_F (¹ν) and are defined in terms of predicates that are approximate in infinitesimal terms. Furthermore, if L(Θ) is the Loeb space generated by the ¹finitely additive measure space 〈F, A(F), U_F〉, and if a game Γ_F(¹ν) has a nonatomic representation $\text{ψ(}{}^1\text{ν}{}^{\mathrm{?0}}\text{)}$ on L(Θ) with respect to S-bounded transformations, then the standard part of any element in $\text{QK(Γ}{}_{\mathrm{F}}\text{(}{}^1\text{ν))}$ is Loeb-measurable and belongs to the quasi-kernel of $\text{ψ(}{}^1\text{ν}{}^{\mathrm{?0}}\text{)}$ defined in standard terms.