Enumeration of perfect matchings of a type of Cartesian products of graphs

Let G be a graph and let Pm(G) denote the number of perfect matchings of G.We denote the path with m vertices by P_m and the Cartesian product of graphs G and H by G×H. In this paper, as the continuance of our paper [W. Yan, F. Zhang, Enumeration of perfect matchings of graphs with reflective symmetry by Pfaffians, Adv. Appl. Math. 32 (2004) 175-188], we enumerate perfect matchings in a type of Cartesian products of graphs by the Pfaffian method, which was discovered by Kasteleyn. Here are some of our results:1. Let T be a tree and let C_n denote the cycle with n vertices. Then Pm(C₄×T)=∏(2+α²), where the product ranges over all eigenvalues α of T. Moreover, we prove that Pm(C₄×T) is always a square or double a square.2. Let T be a tree. Then Pm(P₄×T)=∏(1+3α²+α⁴), where the product ranges over all non-negative eigenvalues α of T.3. Let T be a tree with a perfect matching. Then Pm(P₃×T)=∏(2+α²), where the product ranges over all positive eigenvalues α of T. Moreover, we prove that Pm(C₄×T)=[Pm(P₃×T)]².     

On T-Spaces in a Relatively Free Two-Generated Lie Nilpotent Associative Algebra of Index 4

In this work, we continue to study T-spaces in Lie nilpotent algebras of index l > 3. The focus is on the two-generated algebra of index 4, where simple finite systems of generators are specified for a broad class of T-spaces in T ⁽³⁾ /T ⁽⁴⁾.     

Stabilizing Heegaard splittings of toroidal 3-manifolds

Let T be a separating incompressible torus in a 3-manifold M. Assuming that a genus g Heegaard splitting VS_∪W can be positioned nicely with respect to T (e.g., VS_∪W is strongly irreducible), we obtain an upper bound on the number of stabi-lizations required for VS_∪W to become isotopic to a Heegaard splitting which is an amalgamation along T. In particular, if T is a canonical torus in the JSJ decomposition of M, then the number of necessary stabilizations is at most 4g−4. As a corollary, this establishes an upper bound on the number of stabilizations required for VS_∪W and any Heegaard splitting obtained by a Dehn twist of VS_∪W along T to become isotopic.     

Large forbidden trade volumes and edge packings of random graphs

Let G be a graph. A G-trade of volume m is a pair (T,T^′), where each of T and T^′ consists of m graphs, pairwise edge-disjoint, isomorphic to G, such that T∩T^′=∅ and the union of the edge sets of the graphs in T is identical to the union of the edge sets of the graphs in T^′. Let X(G) be the set of non-negative integers m such that no G-trade of volume m exists. In this paper we prove that, for G∈G holds asymptotically almost surely, where c=log(4/3)/88.     

Monochromatic sinks in nearly transitive arc-colored tournaments

Let T be the set of all arc-colored tournaments, with any number of colors, that contain no rainbow 3-cycles, i.e., no 3-cycles whose three arcs are colored with three distinct colors. We prove that if T∈T and if each strong component of T is a single vertex or isomorphic to an upset tournament, then T contains a monochromatic sink. We also prove that if T∈T and T contains a vertex x such that T−x is transitive, then T contains a monochromatic sink. The latter result is best possible in the sense that, for each n≥5, there exists an n-tournament T such that (T−x)−y is transitive for some two distinct vertices x and y in T, and T can be arc-colored with five colors such that T∈T, but T contains no monochromatic sink.     

Exact asymptotics of supremum of a stationary Gaussian process over a random interval

Let {X(t):t∈[0,∞)} be a centered stationary Gaussian process. We study the exact asymptotics of P(sup_s∈[0,T]X(s)>u), as u→∞, where T is an independent of {X(t)} nonnegative random variable. It appears that the heaviness of T impacts the form of the asymptotics, leading to three scenarios: the case of integrable T, the case of T having regularly varying tail distribution with parameter λ∈(0,1) and the case of T having slowly varying tail distribution.     

Kato type operators and Weyl's theorem

A Banach space operator T satisfies Weyl's theorem if and only if T or T^∗ has SVEP at all complex numbers λ in the complement of the Weyl spectrum of T and T is Kato type at all λ which are isolated eigenvalues of T of finite algebraic multiplicity. If T^∗ (respectively, T) has SVEP and T is Kato type at all λ which are isolated eigenvalues of T of finite algebraic multiplicity (respectively, T is Kato type at all λ∈isoσ(T)), then T satisfies a-Weyl's theorem (respectively, T^∗ satisfies a-Weyl's theorem).     

On Buzyakova's example; quotients of the Cantor trees

Let T be the Cantor tree and let A be a subset of the ωth level of T (= Cantor set C). Buzyakova considered the quotient space TAT^′ obtained from T×2 by identifying two points 〈a,0〉 and 〈a,1〉 for each a∈A to construct an example of a non-submetrizable space of countable extent with a Gδ-diagonal. We prove that the space TAT^′ is submetrizable if and only if C?A is an Fσ-set in C with the Euclidean topology. This improves Buzyakova's Lemma.     

On the supremum of the pseudocompact group topologies

P is the class of pseudocompact Hausdorff topological groups, and P^′ is the class of groups which admit a topology T such that (G,T)∈P. It is known that every G=(G,T)∈P is totally bounded, so for G∈P^′ the supremum T^∨(G) of all pseudocompact group topologies on G and the supremum T#(G) of all totally bounded group topologies on G satisfy T^∨⊆T#.The authors conjecture for abelian G∈P^′ that T^∨=T#. That equality is established here for abelian G∈P^′ with any of these (overlapping) properties. (a) G is a torsion group; (b) |G|?c²; (c) r₀(G)=|G|=ω|G|; (d) |G| is a strong limit cardinal, and r₀(G)=|G|; (e) some topology T with (G,T)∈P satisfies w(G,T)?c; (f) some pseudocompact group topology on G is metrizable; (g) G admits a compact group topology, and r₀(G)=|G|. Furthermore, the product of finitely many abelian G∈P^′, each with the property T^∨(G)=T#(G), has the same property.     

Generalizations of weakly peripherally multiplicative maps between uniform algebras

Let A and B be uniform algebras on first-countable, compact Hausdorff spaces X and Y, respectively. For f∈A, the peripheral spectrum of f, denoted by σπ(f)={λ∈σ(f):|λ|=‖f‖}, is the set of spectral values of maximum modulus. A map T:A→B is weakly peripherally multiplicative if σπ(T(f)T(g))∩σπ(fg)≠∅ for all f,g∈A. We show that if T is a surjective, weakly peripherally multiplicative map, then T is a weighted composition operator, extending earlier results. Furthermore, if T₁,T₂:A→B are surjective mappings that satisfy σπ(T₁(f)T₂(g))∩σπ(fg)≠∅ for all f,g∈A, then T₁(f)T₂(1)=T₁(1)T₂(f) for all f∈A, and the map f?T₁(f)T₂(1) is an isometric algebra isomorphism.     

Weyl's theorem for algebraically totally hereditarily normaloid operators

A Banach space operator T∈B(X) is said to be totally hereditarily normaloid, T∈THN, if every part of T is normaloid and every invertible part of T has a normaloid inverse. The operator T is said to be an H(q) operator for some integer q?1, T∈H(q), if the quasi-nilpotent part H₀(T−λ)=(T−λ)^−q(0) for every complex number λ. It is proved that if T is algebraically H(q), or T is algebraically THN and X is separable, then f(T) satisfies Weyl's theorem for every function f analytic in an open neighborhood of σ(T), and T^∗ satisfies a-Weyl's theorem. If also T^∗ has the single valued extension property, then f(T) satisfies a-Weyl's theorem for every analytic function f which is non-constant on the connected components of the open neighborhood of σ(T) on which it is defined.     

Polaroid operators satisfying Weyl’s theorem

A Banach space operator T is polaroid and satisfies Weyl’s theorem if and only if T is Kato type at points λ ∈ iso σ(T) and has SVEP at points λ not in the Weyl spectrum of T. For such operators T, f(T) satisfies Weyl’s theorem for every non-constant function f analytic on a neighborhood of σ(T) if and only if f(T^∗) satisfies Weyl’s theorem.     

Hereditarily polaroid operators, SVEP and Weyl's theorem

A Banach space operator T∈B(X) is hereditarily polaroid, T∈HP, if every part of T is polaroid. HP operators have SVEP. It is proved that if T∈B(X) has SVEP and R∈B(X) is a Riesz operator which commutes with T, then T+R satisfies generalized a-Browder's theorem. If, in particular, R is a quasi-nilpotent operator Q, then both T+Q and T^∗+Q^∗ satisfy generalized a-Browder's theorem; furthermore, if Q is injective, then also T+Q satisfies Weyl's theorem. If A∈B(X) is an algebraic operator which commutes with the polynomially HP operator T, then T+N is polaroid and has SVEP, f(T+N) satisfies generalized Weyl's theorem for every function f which is analytic on a neighbourhood of σ(T+N), and f^∗(T+N) satisfies generalized a-Weyl's theorem for every function f which is analytic on, and constant on no component of, a neighbourhood of σ(T+N).     

Lie algebras generated by bounded linear operators on Hilbert spaces

It is proved that the operator Lie algebra ε(T,T^∗) generated by a bounded linear operator T on Hilbert space H is finite-dimensional if and only if T=N+Q, N is a normal operator, [N,Q]=0, and dimA(Q,Q^∗)<+∞, where ε(T,T^∗) denotes the smallest Lie algebra containing T,T^∗, and A(Q,Q^∗) denotes the associative subalgebra of B(H) generated by Q,Q^∗. Moreover, we also give a sufficient and necessary condition for operators to generate finite-dimensional semi-simple Lie algebras. Finally, we prove that if ε(T,T^∗) is an ad-compact E-solvable Lie algebra, then T is a normal operator.     

Notes on the products of the lower topology and Lawson topology on posets

In this paper, we investigate the relation between the lower topology respectively the Lawson topology on a product of posets and their corresponding topological product. We show that (1) if S and T are nonsingleton posets, then Ω(S×T)=Ω(S)×Ω(T) iff both S and T are finitely generated upper sets; (2) if S and T are nontrivial posets with σ(S) or σ(T) being continuous, then Λ(S×T)=Λ(S)×Λ(T) iff S and T satisfy property K, where for a poset L, Ω(L) means the lower topological space, Λ(L) means the Lawson topological space, and L is said to satisfy property K if for any x∈L, there exist a Scott open U and a finite F⊆L with x∈U⊆↑F.     

Decomposition of Hadamard matrices

The decomposition is defined. The components are each as an orthogonal matrix with elements 0, ±1. In pairs they satisfy XY^T + YX^T = 0. It is conjectured that every Hadamard matrix of order mn is decomposable into m components for m = 4 or 8.     

Non-separating trees in connected graphs

Let T be any tree of order d≥1. We prove that every connected graph G with minimum degree d contains a subtree T^′ isomorphic to T such that G−V(T^′) is connected.     

Linear maps preserving the minimum and surjectivity moduli of Hilbert space operators

Let B(H) be the algebra of all bounded linear operators on a complex infinite-dimensional Hilbert space H. For every T∈B(H), let m(T) and q(T) denote the minimum modulus and surjectivity modulus of T respectively. Let ?:B(H)→B(H) be a surjective linear map. In this paper, we prove that the following assertions are equivalent:

(i)

m(T)=m(?(T)) for all T∈B(H),

(ii)

q(T)=q(?(T)) for all T∈B(H),

(iii)

there exist two unitary operators U,V∈B(H) such that ?(T)=UTV for all T∈B(H).

This generalizes the result of Mbekhta [7, Theorem 3.1] to the non-unital case.     

On the spectral radius of trees with fixed diameter

Let T_{(n, d)} be the set of trees on n vertices with diameter d. In this paper, the first spectral radii of trees in the set T_{(n, d)} (3 ? d ? n − 4) are characterized.