Conjecture of Li and Praeger concerning the isomorphisms of Cayley graphs of A5

LetG be a finite group, andS a subset ofG \ |1| withS =S ^?1. We useX = Cay(G,S) to denote the Cayley graph ofG with respect toS. We callS a Cl-subset ofG, if for any isomorphism Cay(G,S) ≈ Cay(G,T) there is an α∈ Aut(G) such thatS ^α =T. Assume that m is a positive integer.G is called anm-Cl-group if every subsetS ofG withS =S ^?1 and | S | ≤m is Cl. In this paper we prove that the alternating groupA ₅ is a 4-Cl-group, which was a conjecture posed by Li and Praeger.     

Periodic Groups Saturated with the Groups <Emphasis Type="Italic">L</Emphasis><Subscript>2</Subscript>(<Emphasis Type="Italic">p</Emphasis><Superscript><Emphasis Type="Italic">n</Emphasis></Superscript>)

Given an indexing set I and a finite field K_α for each α ∈ I, let ? = {L₂(K_α) | α ∈ I} and \(\mathfrak{N} = \{ SL_2 (K_\alpha )|\alpha \in I\}\). We prove that each periodic group G saturated with groups in \(\Re (\mathfrak{N})\) is isomorphic to L₂(P) (respectively SL₂(P)) for a suitable locally finite field P.     

Stability and bifurcation of equilibrium solutions of reaction-diffusion equations on an infinite space interval

Under the condition that f(x, y, z, α) and its partial derivatives decay sufficiently fast as $\text{¦x¦ → ∞}$ we will study the (linear) stability and bifurcation of equilibrium solutions of the scalar problem u_t = u_xx + f(x, u, u_x, α), u_x(?∞, t) = u_x(∞, t) = 0 (1) where α is a real bifurcation parameter. After introducing appropriate function spaces X and Y the problem (1) can be rewritten $\text{d}\text{dt}\text{u = G(u, α)}$, (7) where G:X×R → Y is given by G(u, α)(x) = u″(x) + f(x, u(x), u′(x), α). It will be shown, for each (u, α)?X × R, that the Fréchet derivative G_u(u,a): X → Y is not a Fredholm operator. This difficulty is due to the fact that the domain of the space variable x, is infinite and cannot be eliminated by making another choice of X and Y. Since G_u(u, α) is not Fredholm, the hypotheses of most of the general stability and bifurcation results are not satisfied. If (u₀, α₀?S = {(u, α): G(u, α) = 0}, (i.e., (u₀,α₀) is an equilibrium solution of (7)), a necessary condition on the spectrum of G_u(u₀, α₀) for a change in the stability of points in S to occur at G_u(u₀, α₀) will be given. When this condition is met, the principle of exchange of stability which means, in a neighborhood of (u₀, α₀), that adjacent equilibrium solutions for the same α have opposite stability properties in a weakened sense will be established. Also, when G_u or its first order partial derivatives, evaluated at (u₀, α₀), are not too degenerate, the shape of S in a neighborhood of (u₀, α₀) will be described and a strenghtened form of the principle of exchange of stability will be obtained.     

On support points for some families of univalent functions

Given a closed subset of the familyS* (α) of functions starlike of order α, a continuous Fréchet differentiable functional,J, is constructed with this collection as the solution set to the extremal problem ReJ(f) overS* (α). The support points ofS* (α) is completely characterized and shown to coincide with the extreme points of its convex hulls. Given any finite collection of support points ofS* (α), a continuous linear functional,J, is constructed with this collection as the solution set to the extremal problem ReJ(f) overS* (α).     

Commutation properties of automorphism groups and mappings of von Neumann algebras

We prove a commutation theorem for point ultraweakly continuous oneparameter groups of automorphisms of von Neumann algebras. If α_t, is such a group in Aut($\text{R}$) for a von Neumann algebra $\text{R}$, we show the equivalence of the following three conditions on an ultraweakly continuous linear transformation μ: $\text{R}$ → $\text{R}$: (a) μ commutes weakly with the infinitesimal generator for α_t; (b) μ ° α_t = α_t ° μ, t ∈ R; and (c) μ leaves invariant each of the spectral subspaces associated with α_t. A simple condition which is applicable when μ is an automorphism is pointed out.     

Sur le theoreme de Stone-Weierstrass en Algebre commutative

We show that the sufficient conditions given by Cahen, Grazzini and Haouat for a version of the Stone-Weierstrass theorem in commutative algebra are the widest. More precisely, letA be a Noetherian ring andI a proper ideal ofA such thatA is Hausdorff with respect to theI-adic topology. Note the completion ofA andC(Â,Â) the ring of continuous functions from to with uniform convergence topology. The subset of polynomial functions is dense inC(Â,Â) if and only if the radical ofI is a maximal idealm ofA and the local ringA _m is a one-dimensional analytically irreducible domain with finite residue field.     

Stability of solutions bifurcating from multiple eigenvalues

Let X and Y be real Banach spaces and G:X × $\text{R}$ be a twice continuously differentiate function which is not necessarily linear. Suppose G(u₀, α₀) = 0 and the dimension of the null space of G_u(u₀, α₀) is m, where 1 ? m < ∞. Usually, S = {(u, α):G(u, α) = 0}, in a neighborhood of (u₀, α₀), consists of a finite number of curves emanating from (u₀, α₀). We will determine the stability of points, (u, α), in S (i.e., the maximum of the real parts of the spectrum of G_u(u, α) for each (u, α) ∈ S) using a general perturbation theorem of Kato. Our results contain as a special case the stability theorems of Crandall and Rabinowitz for the case m = 1. We will also tie our stability theorems together with some bifurcation results of Decker and Keller. Finally we apply our results to systems of reaction diffusion equations.     

Nagata-like theorems for almost Prüfer v-multiplication domains

Let D be an integral domain and X an indeterminate over D . We show that if S is an almost splitting set of an integral domain D , then D is an APVMD if and only if both DS and DN(S) are APVMDs. We also prove that if {Dα}α∈I is a collection of quotient rings of D such that D=∩α∈IDα has finite character (that is, each nonzero d∈D is a unit in almost all Dα) and each of Dα is an APVMD, then D is an APVMD. Using these results, we give several Nagata-like theorems for APVMDs.     

Conjecture of Li and Praeger concerning the isomorphisms of Cayley graphs of A5

LetG be a finite group, andS a subset ofG \ |1| withS =S ⁻¹. We useX = Cay(G,S) to denote the Cayley graph ofG with respect toS. We callS a Cl-subset ofG, if for any isomorphism Cay(G,S) ≈ Cay(G,T) there is an α∈ Aut(G) such thatS ^α =T. Assume that m is a positive integer.G is called anm-Cl-group if every subsetS ofG withS =S ⁻¹ and | S | ≤m is Cl. In this paper we prove that the alternating groupA ₅ is a 4-Cl-group, which was a conjecture posed by Li and Praeger.     

A Classification of Graphs Whose Subdivision Graph is Locally Distance Transitive

The subdivision graph S(Σ) of a connected graph Σ is constructed by adding a vertex in the middle of each edge. In a previous paper written with Cheryl E. Praeger, we characterised the graphs Σ such that S(Σ) is locally (G, s)-distance transitive for s ≤ 2 diam(Σ) ? 1 and some G?≤ Aut(Σ). In this paper, we solve the remaining cases by classifying all the graphs Σ such that S(Σ) is locally (G, s)-distance transitive for some s?≥ 2 diam(Σ) and some G?≤ Aut(Σ). As a corollary, we get a classification of all the graphs whose subdivision graph is locally distance transitive.     

On some properties of schlicht functions

One considers the classes S _β ^* (α),S _β (λ),, and S of functionsf (z)=z+ ..., which are respectivelyα-starlike of orderβ, γ-spirallike of orderβ, and regular schlicht in ¦z ¦ < 1. It is proved that forα? 0, 0 < β < 1 fromf (z) ∈S _β ^* (α) followsf (z) ∈S _β ^* (0); this generalizes appropriate results of [1–5]. A converse result is also obtained. For certainα andβ the exact value of the radius ofα-starlikeness of orderβ for the class S is given. An equation is found, whose unique root gives the radiusγ-spirallikeness of orderβ for the class S.     

Proof of a conjecture on game domination

Let G(V, E) be a simple, undirected graph where V is the set of vertices and E is the set of edges. A b‐dimensional cube is a Cartesian product I₁×I₂×···×I_b, where each I_i is a closed interval of unit length on the real line. The cubicity of G, denoted by cub(G), is the minimum positive integer b such that the vertices in G can be mapped to axis parallel b‐dimensional cubes in such a way that two vertices are adjacent in G if and only if their assigned cubes intersect. An interval graph is a graph that can be represented as the intersection of intervals on the real line—i.e. the vertices of an interval graph can be mapped to intervals on the real line such that two vertices are adjacent if and only if their corresponding intervals overlap. Suppose S(m) denotes a star graph on m+1 nodes. We define claw number ψ(G) of the graph to be the largest positive integer m such that S(m) is an induced subgraph of G. It can be easily shown that the cubicity of any graph is at least ?log₂ψ(G)?. In this article, we show that for an interval graph G ?log₂ψ(G)??cub(G)??log₂ψ(G)?+2. It is not clear whether the upper bound of ?log₂ψ(G)?+2 is tight: till now we are unable to find any interval graph with cub(G)>?log₂ψ(G)?. We also show that for an interval graph G, cub(G)??log₂α?, where α is the independence number of G. Therefore, in the special case of ψ(G)=α, cub(G) is exactly ?log₂α₂?. The concept of cubicity can be generalized by considering boxes instead of cubes. A b‐dimensional box is a Cartesian product I₁×I₂×···×I_b, where each I_i is a closed interval on the real line. The boxicity of a graph, denoted box(G), is the minimum k such that G is the intersection graph of k‐dimensional boxes. It is clear that box(G)?cub(G). From the above result, it follows that for any graph G, cub(G)?box(G)?log₂α?. © 2010 Wiley Periodicals, Inc. J Graph Theory 65: 323–333, 2010     

Semi-crossed products of C1-algebras

Given a C¹-algebra $\text{U}$ and endomorphim α, there is an associated nonselfadjoint operator algebra $\text{Z}$⁺ X_α$\text{U}$, called the semi-crossed product of $\text{U}$ with α. If α is an automorphim, $\text{Z}$⁺ X_α$\text{U}$ can be identified with a subalgebra of the C¹-crossed product $\text{Z}$⁺ X_α$\text{U}$. If $\text{U}$ is commutative and α is an automorphim satisfying certain conditions, $\text{Z}$⁺ X_α$\text{U}$ is an operator algebra of the type studied by Arveson and Josephson. Suppose S is a locally compact Hausdorff space, φ: S → S is a continuous and proper map, and α is the endomorphim of U=C₀(S) given by α(?) = ? ō φ. Necessary and sufficient conditions on the map φ are given to insure that the semi-crossed product Z⁺X_αC₀(S) is (i) semiprime; (ii) semisimple; (ii) strongly semisimple.     

Orthogonal Groups 𝒪(n) over GF(2) as Automorphisms

Let (V, Q) be a quadratic vector space over a fixed field. Orthogonal group 𝒪(V, Q) is defined as automorphisms on (V, Q). If Q = I, it is 𝒪(V, I) = 𝒪(n). There is a nice result that 𝒪(n) ? Aut(𝔬(n)) over ? or ?, where 𝔬(n) is the Lie algebra of n × n alternating matrices over the field. How about another field The answer is “Yes” if it is GF(2). We show it explicitly with the combinatorial basis ?. This is a verification of Steinberg's main result in 1961, that is, Aut(𝔬(n)) is simple over the square field, with a nonsimple exception Aut(𝔬(5)) ? 𝒪(5) ? 𝔖₆.     

Relative perturbation bounds for the unitary polar factor

LetB be anm×n (m≥n) complex (or real) matrix. It is known that there is a uniquepolar decomposition B=QH, whereQ*Q=I, then×n identity matrix, andH is positive definite, providedB has full column rank. Existing perturbation bounds suggest that in the worst case, for complex matrices the change inQ be proportional to the reciprocal ofB's least singular value, or the reciprocal of the sum ofB's least and second least singular values if matrices are real. However, there are situations where this unitary polar factor is much more accurately determined by the data than the existing perturbation bounds would indicate. In this paper the following question is addressed: how much mayQ change ifB is perturbed to $\tilde B = D_1^* BD_2 $ , whereD ₁ andD ₂ are nonsingular and close to the identity matrices of suitable dimensions? It is shown that for a such kind of perturbation, the change inQ is bounded only by the distances fromD ₁ andD ₂ to identity matrices and thus is independent ofB's singular values. Such perturbation is restrictive, but not unrealistic. We show how a frequently used scaling technique yields such a perturbation and thus scaling may result in better-conditioned polar decompositions.     

A problem of Zarankiewicz

Zarankiewicz, in problem P 101, Colloq. Math., 2 (1951), p. 301, and others have posed the following problem: Determine the least positive integer k_α,β(m, n) so that if a 0,1-matrix of size m by n contains k_α,β(m, n) ones then it must have an α by β submatrix consisting entirely of ones. This paper improves upon previously known upper bounds for k_α,β(m, n) by proving that $\text{k}{}_{\mathrm{\alpha \beta }}\text{(m,n)?}\text{1+((β?1)}\text{(}\text{p}\text{α?1}\text{))(}\text{m}\text{α}\text{)}\text{+}\text{((p+1)(α?1)}\text{α}\text{)n}$ for each integer p greater than or equal to α ? 1. Each of these inequalities is better than the others for a specific range of values of n. Equality is shown to hold infinitely often for each value of p. Finally some applications of this result are made to arrangements of lines in the projective plane.     

Sequence entropy and mixing

The relationship between sequence entropy and mixing is examined. Let T be an automorphism of a Lebesgue space X, $\text{L}$₀ denote the set of all partitions of X possessing finite entropy, and $\text{S}$ denote the set of all increasing sequences of positive integers. It is shown that: (1) T is mixing /a2 sup_{A ? B}h_A(T, α) = H(α) for all B∈I and α∈Z₀. (2) T is weakly mixing /a2 sup_Ah_A(T, α) = H(α) for all α∈Z₀. (3) If T is partially mixing with constant $\text{c (1 ?}\text{1}\text{e}\text{< c < 1)}$, then sup_{A ? B}h_A(T, α) > cH(α) for all B∈I and nontrivial α∈Z₀. (4) If sup_{A ? B}h_A(T, α) > 0 for all B∈I and nontrivial α∈Z₀, then T is weakly mixing.     

Perfect Pairs of Ideals and Duals in Numerical Semigroups

This article considers numerical semigroups S that have a nonprincipal relative ideal I such that μ _S (I)μ _S (S ? I) = μ _S (I + (S ? I)). We show the existence of an infinite family of such pairs (S, I) in which I + (S ? I) = S\{0}. We also show examples of such pairs that are not members of this family. We discuss the computational process used to find these examples and present some open questions pertaining to them.     

On the collineation groups of infinite projective and affine planes

A partial plane is a triple Π=(P,L,I) whereP is the set of points,L the set of lines andI?PXL the incidence relation satisfying the axiom that $$p_i {\rm I}\ell _j (i,j = 1,2) implies p_1 = p_2 or \ell _1 = \ell _2 .$$ Using methods of E. MENDELSOHN, Z. HEDRLIN and A. PULTR we prove the followingTHEOREM. Given a subgroup G ofthe collineation group Aut Π ofsome partial plane Π, there is a projective plane Π′such that Πis invariant under the automorphisms of Π′, Aut Π′Π^′=G,and we obtain an isomorphism of Aut Πonto Aut Π′by restriction. Moreover, any 3 points (lines) of Πare collinear (concurrent) in Π iff they are so in Π′. Corollaries of this result improve some of E. Mendelsohn's theorems [6,7].