Dissipation of Convolution Powers in a Metric Group

In contrast to what is known about probability measures on locally compact groups, a metric group G can support a probability measure μ which is not carried on a compact subgroup but for which there exists a compact subset C⊆G such that the sequence μ ⁿ (C) fails to converge to zero as n tends to ∞. A noncompact metric group can also support a probability measure μ such that supp μ=G and the concentration functions of μ do not converge to zero. We derive a number of conditions which guarantee that the concentration functions in a metric group G converge to zero, and obtain a sufficient and necessary condition in order that a probability measure μ on G satisfy lim  _n→∞ μ ⁿ (C)=0 for every compact subset C⊆G. Supported by an NSERC Grant.     

Algebras whose equivalence relations are congruences

It is proved that all the equivalence relations of a universal algebra A are its congruences if and only if either |A| ≤ 2 or every operation f of the signature is a constant (i.e., f(a ₁ , . . . , a _n ) = c for some c ∈ A and all the a ₁ , . . . , a _n ∈ A) or a projection (i.e., f(a ₁ , . . . , a _n ) = a _i for some i and all the a ₁ , . . . , a _n ∈ A). All the equivalence relations of a groupoid G are its right congruences if and only if either |G| ≤ 2 or every element a ∈ G is a right unit or a generalized right zero (i.e., x _a  = y _a for all x, y ∈ G). All the equivalence relations of a semigroup S are right congruences if and only if either |S| ≤ 2 or S can be represented as S = A∪B, where A is an inflation of a right zero semigroup, and B is the empty set or a left zero semigroup, and ab = a, ba = a ² for a ∈ A, b ∈ B. If G is a groupoid of 4 or more elements and all the equivalence relations of it are right or left congruences, then either all the equivalence relations of the groupoid G are left congruences, or all of them are right congruences. A similar assertion for semigroups is valid without the restriction on the number of elements.     

On Bernstein–Walsh-type lemmas in regions of the complex plane

Let G ì \mathbb C G \subset {\mathbb C} be a finite region bounded by a Jordan curve L: = ?G L: = \partial G , let W: = \textext[`(G)] \Omega : = {\text{ext}}\bar{G} (with respect to [`(\mathbb C)] {\overline {\mathbb C}} ), $ \Delta : = \left\{ {z:\left| z \right| > 1} \right\} $ \Delta : = \left\{ {z:\left| z \right| > 1} \right\} , and let w = F(z) w = \Phi (z) be a univalent conformal mapping of Ω onto Δ normalized by $ \Phi \left( \infty \right) = \infty, \;\Phi '\left( \infty \right) > 0 $ \Phi \left( \infty \right) = \infty, \;\Phi '\left( \infty \right) > 0 . By A _p (G); p > 0; we denote a class of functions f analytic in G and satisfying the condition

Some embeddings of infinite-dimensional spaces

It is shown that ifA is a weakly infinite-dimensional subset of a metric spaceR then aG _δ setB ofR exists such thatA⊆B andB is weakly infinite-dimensional. A similar result holds for a set having strong transfinite inductive dimension. As a consequence each weakly infinite-dimensional metric space possesses a weakly infinite-dimensional complete metric extension. A similar result holds also for a space having strong transfinite inductive dimension.     

Strict Betweennesses Induced by Posets as well as by Graphs

For a finite poset P = (V, ≤ ), let _s(P){\cal B}_s(P) consist of all triples (x,y,z) ∈ V ³ such that either x < y < z or z < y < x. Similarly, for every finite, simple, and undirected graph G = (V,E), let B_s(G){\cal B}_s(G) consist of all triples (x,y,z) ∈ V ³ such that y is an internal vertex on an induced path in G between x and z. The ternary relations B_s(P){\cal B}_s(P) and B_s(G){\cal B}_s(G) are well-known examples of so-called strict betweennesses. We characterize the pairs (P,G) of posets P and graphs G on the same ground set V which induce the same strict betweenness relation B_s(P)=B_s(G){\cal B}_s(P)={\cal B}_s(G).     

Topological *-algebras withC*-enveloping algebras II

UniversalC*-algebrasC*(A) exist for certain topological *-algebras called algebras with aC*-enveloping algebra. A Frechet *-algebraA has aC*-enveloping algebra if and only if every operator representation ofA mapsA into bounded operators. This is proved by showing that every unbounded operator representation π, continuous in the uniform topology, of a topological *-algebraA, which is an inverse limit of Banach *-algebras, is a direct sum of bounded operator representations, thereby factoring through the enveloping pro-C*-algebraE(A) ofA. Given aC*-dynamical system (G,A,α), any topological *-algebraB containingC _c (G,A) as a dense *-subalgebra and contained in the crossed productC*-algebraC*(G,A,α) satisfiesE(B) =C*(G,A,α). IfG = ℝ, ifB is an α-invariant dense Frechet *-subalgebra ofA such thatE(B) =A, and if the action α onB ism-tempered, smooth and by continuous *-automorphisms: then the smooth Schwartz crossed productS(ℝ,B,α) satisfiesE(S(ℝ,B,α)) =C*(ℝ,A,α). WhenG is a Lie group, theC ^∞-elementsC ^∞(A), the analytic elementsC ^ω(A) as well as the entire analytic elementsC ^є(A) carry natural topologies making them algebras with aC*-enveloping algebra. Given a non-unitalC*-algebraA, an inductive system of idealsI _α is constructed satisfyingA =C*-ind limI _α; and the locally convex inductive limit ind limI _α is anm-convex algebra with theC*-enveloping algebraA and containing the Pedersen idealK _a ofA. Given generatorsG with weakly Banach admissible relationsR, we construct universal topological *-algebraA(G, R) and show that it has aC*-enveloping algebra if and only if (G, R) isC*-admissible.     

The rectifiability threshold in abelian groups

For any abelian group G and integer t ≥ 2 we determine precisely the smallest possible size of a non-t-rectifiable subset of G. Specifically, assuming that G is not torsion-free, denote by p the smallest order of a non-zero element of G. We show that if a subset S ⊆ G satisfies |S| ≤ ⌌log _t p⌍, then S is t-isomorphic (in the sense of Freiman) to a set of integers; on the other hand, we present an example of a subset S ⊆ G with |S| = ⌌log _t p⌍ + 1 which is not t-isomorphic to a set of integers.     

Closed Separator Sets

A smallest separator in a finite, simple, undirected graph G is a set S ⊆ V (G) such that G–S is disconnected and |S|=κ(G), where κ(G) denotes the connectivity of G. A set S of smallest separators in G is defined to be closed if for every pair S,T ∈ S, every component C of G–S, and every component S of G–T intersecting C either X(C,D) := (V (C) ∩ T) ∪ (T ∩ S) ∪ (S ∩ V (D)) is in S or |X(C,D)| > κ(G). This leads, canonically, to a closure system on the (closed) set of all smallest separators of G. A graph H with is defined to be S-augmenting if no member of S is a smallest separator in G ∪ H:=(V (G) ∪ V (H), E(G) ∪ E(H)). It is proved that if S is closed then every minimally S-augmenting graph is a forest, which generalizes a result of Jordán. Several applications are included, among them a generalization of a Theorem of Mader on disjoint fragments in critically k-connected graphs, a Theorem of Su on highly critically k-connected graphs, and an affirmative answer to a conjecture of Su on disjoint fragments in contraction critically k-connected graphs of maximal minimum degree.     

Constructive characterizations of （γp, γ）- and （γp, γpr）-trees

Let G = （V, E） be a graph without isolated vertices. A set S lohtain in V is a domination set of G if every vertex in V - S is adjacent to a vertex in S, that is N[S] = V. The domination number of G, denoted by γ（G）, is the minimum cardinality of a domination set of G. A set S lohtain in V is a paired-domination set of G if S is a domination set of G and the induced subgraph G[S] has a perfect matching. The paired-domination number, denoted by γpr（G）, is defined to be the minimum cardinality of a paired-domination set S in G. A subset S lohtain in V is a power domination set of G if all vertices of V can be observed recursively by the following rules： （i） all vertices in N[S] are observed initially, and （ii） if an observed vertex u has all neighbors observed except one neighbor v, then v is observed （by u）. The power domination number, denoted by γp（G）, is the minimum cardinality of a power domination set of G. In this paper, the constructive characterizations for trees with γp=γ and γpr = γp are provided respectively.     

Thompson’s conjecture for simple groups with connected prime graph

We deal with finite simple groups G with the property π(G) ⊆ {2, 3, 5, 7, 11, 13, 17}, where π(G) is the set of all prime divisors of the order of a group G. The set of all such groups is denoted by ζ ₁₇. Thompson’s conjecture in [1, Question 12.38] is proved valid for all groups in ζ ₁₇ whose prime graph is connected.     

THE TOTAL CHROMATIC NUMBER OF PSEUDO-OUTERPLANAR GRAPHS

A Planar graph g is called a ipseudo outerplanar graph if there is a subset v.∈V(G),[V.]=i,such that G-V. is an outerplanar graph in particular when G-V.is a forest ,g is called a i-pseudo-tree .in this paper.the following results are proved;(1)the conjecture on the total coloring is true for all 1-pseudo-outerplanar graphs;(2)X1(G) 1 fo any 1-pseudo outerplanar graph g with △(G)≥3,where x4(G)is the total chromatic number of a graph g.     

Proprietes generiques de processus croises

LetS _φ be the skew product transformation(x, g)↦(Sx, gφ(x)) defined on Ω×G, where Ω is a compact metric space,G a compact metric group with its Haar measureh. IfS is a μ-continuous transformation where μ is a Borel measure on Ω, ergodic with respect toS, we study the setE ₀ of μ-continuous applications φ:Ω→G such that μ⩀h is ergodic (with respect toS _φ). For example,E ₀ is residual in the group of μ-continuous applications from Ω toG with the uniform convergence topology. We also study the weakly mixing case. Some arithmetic applications are given.     

Multiplicatively and non-symmetric multiplicatively norm-preserving maps

Let A and B be Banach function algebras on compact Hausdorff spaces X and Y and let ‖.‖ _X and ‖.‖ _Y denote the supremum norms on X and Y, respectively. We first establish a result concerning a surjective map T between particular subsets of the uniform closures of A and B, preserving multiplicatively the norm, i.e. ‖Tf Tg‖ _Y = ‖fg‖ _X , for certain elements f and g in the domain. Then we show that if α ∈ ℂ {0} and T: A → B is a surjective, not necessarily linear, map satisfying ‖fg + α‖ _X = ‖Tf Tg + α‖ _Y , f,g ∈ A, then T is injective and there exist a homeomorphism φ: c(B) → c(A) between the Choquet boundaries of B and A, an invertible element η ∈ B with η(Y) ⊆ {1, −1} and a clopen subset K of c(B) such that for each f ∈ A,

An extension of almost sure central limit theorem for order statistics

Let {X _n ,n ≥ 1} be a sequence of i.i.d. random variables. Let M _n and m _n denote the first and the second largest maxima. Assume that there are normalizing sequences a _n  > 0, b _n and a nondegenerate limit distribution G, such that . Assume also that {d _k ,k ≥ 1} are positive weights obeying some mild conditions. Then for x > y we have

On the boundedness of one recurrent sequence in a banach space

We establish necessary and sufficient conditions under which a sequence x ₀ = y ₀ , x _n+1 = Ax _n  + y _n+1 , n ≥ 0, is bounded for each bounded sequence { y_n :n \geqslant 0 } ì { x ? è_{n = 1}^￥ D( Aⁿ ) |sup_{n \geqslant 0} || Aⁿ x || < ￥ }\left\{ {y_n :n \geqslant 0} \right\} \subset \left\{ {\left. {x \in \bigcup\nolimits_{n = 1}^\infty {D\left( {A^n } \right)} } \right|\sup _{n \geqslant 0} \left\| {A^n x} \right\| < \infty } \right\}, where A is a closed operator in a complex Banach space with domain of definition D(A) .     

An upper bound for domination number of 5-regular graphs

Let G = (V, E) be a simple graph. A subset S ⊆ V is a dominating set of G, if for any vertex u ∈ V-S, there exists a vertex v ∈ S such that uv ∈ E. The domination number, denoted by γ(G), is the minimum cardinality of a dominating set. In this paper we will prove that if G is a 5-regular graph, then γ(G) ⩽ 5/14n.     

On the separator of subsets of semigroups

By the separator \operatornameSepA\operatorname{\mathit{Sep}}A of a subset A of a semigroup S we mean the set of all elements x of S which satisfy conditions xA⊆A, Ax⊆A, x(S−A)⊆(S−A), (S−A)x⊆(S−A). In this paper we deal with the separator of subsets of semigroups.     

On finite products of soluble groups

Let the finite groupG =AB be the product of two soluble subgroupsA andB, and letπ be a set of primes. We investigate under which conditions for the maximal normalπ-subgroups ofA, B andG the following holds:O _π (G) ∩O _π (G) ⊆O _π (G). The second author would like to thank the Department of Mathematics of the University of Mainz and the Mathematische Forschungsinstitut Oberwolfach for their excellent hospitality during the preparation of this paper.     

Σ-Uniform structures and Σ-functions. II

We construct a family of Σ-uniform Abelian groups and a family of Σ-uniform rings. Conditions are specified that are necessary and sufficient for a universal Σ-function to exist in a hereditarily finite admissible set over structures in these families. It is proved that there is a set S of primes such that no universal Σ-function exists in hereditarily finite admissible sets \mathbbH\mathbbF(G) \mathbb{H}\mathbb{F}(G) and \mathbbH\mathbbF(K) \mathbb{H}\mathbb{F}(K) , where G = ⊕{Z _p | p ∈ S} is a group, Z _p is a cyclic group of order p, K = ⊕{F _p | p ∈ S} is a ring, and F _p is a prime field of characteristic p.     

Amalgamated free products of weakly rigid factors and calculation of their symmetry groups

We consider amalgamated free product II₁ factors M = M _1*B M _2*B … and use “deformation/rigidity” and “intertwining” techniques to prove that any relatively rigid von Neumann subalgebra Q ⊂ M can be unitarily conjugated into one of the M _i ’s. We apply this to the case where the M _i ’s are w-rigid II₁ factors, with B equal to either C, to a Cartan subalgebra A in M _i , or to a regular hyperfinite II₁ subfactor R in M _i , to obtain the following type of unique decomposition results, àla Bass–Serre: If M = (N _1 * CN_2*C …) ^t , for some t > 0 and some other similar inclusions of algebras C ⊂ N _i then, after a permutation of indices, (B ⊂ M _i ) is inner conjugate to (C ⊂ N _i ) ^t , for all i. Taking B = C and , with {t _i } _i⩾1 = S a given countable subgroup of R ₊ ^*, we obtain continuously many non-stably isomorphic factors M with fundamental group equal to S. For B = A, we obtain a new class of factors M with unique Cartan subalgebra decomposition, with a large subclass satisfying and Out(M) abelian and calculable. Taking B = R, we get examples of factors with , Out(M) = K, for any given separable compact abelian group K.