Removable edges in a 5-connected graph and a construction method of 5-connected graphs

An edge e of a k-connected graph G is said to be a removable edge if G?e is still k-connected. A k-connected graph G is said to be a quasi (k+1)-connected if G has no nontrivial k-separator. The existence of removable edges of 3-connected and 4-connected graphs and some properties of quasi k-connected graphs have been investigated [D.A. Holton, B. Jackson, A. Saito, N.C. Wormale, Removable edges in 3-connected graphs, J. Graph Theory 14(4) (1990) 465-473; H. Jiang, J. Su, Minimum degree of minimally quasi (k+1)-connected graphs, J. Math. Study 35 (2002) 187-193; T. Politof, A. Satyanarayana, Minors of quasi 4-connected graphs, Discrete Math. 126 (1994) 245-256; T. Politof, A. Satyanarayana, The structure of quasi 4-connected graphs, Discrete Math. 161 (1996) 217-228; J. Su, The number of removable edges in 3-connected graphs, J. Combin. Theory Ser. B 75(1) (1999) 74-87; J. Yin, Removable edges and constructions of 4-connected graphs, J. Systems Sci. Math. Sci. 19(4) (1999) 434-438]. In this paper, we first investigate the relation between quasi connectivity and removable edges. Based on the relation, the existence of removable edges in k-connected graphs (k?5) is investigated. It is proved that a 5-connected graph has no removable edge if and only if it is isomorphic to K₆. For a k-connected graph G such that end vertices of any edge of G have at most k-3 common adjacent vertices, it is also proved that G has a removable edge. Consequently, a recursive construction method of 5-connected graphs is established, that is, any 5-connected graph can be obtained from K₆ by a number of θ⁺-operations. We conjecture that, if k is even, a k-connected graph G without removable edge is isomorphic to either K_k+1 or the graph H_k/2+1 obtained from K_k+2 by removing k/2+1 disjoint edges, and, if k is odd, G is isomorphic to K_k+1.     

The poset structures admitting the extended binary Golay code to be a perfect code

Brualdi et al. [Codes with a poset metric, Discrete Math. 147 (1995) 57-72] introduced the concept of poset codes, and gave an example of poset structure which admits the extended binary Golay code to be a 4-error-correcting perfect P-code. In this paper we classify all of the poset structures which admit the extended binary Golay code to be a 4-error-correcting perfect P-code, and show that there are no posets which admit the extended binary Golay code to be a 5-error-correcting perfect P-code.     

Multicoloring and Mycielski construction

The generalized Mycielskians of graphs (also known as cones over graphs) are the natural generalization of the Mycielskians of graphs (which were first introduced by Mycielski in 1955). Given a graph G and any integer p?0, one can transform G into a new graph μ_p(G), the p-Mycielskian of G. In this paper, we study the kth chromatic numbers χ_k of Mycielskians and generalized Mycielskians of graphs. We show that χ_k(G)+1?χ_k(μ(G))?χ_k(G)+k, where both upper and lower bounds are attainable. We then investigate the kth chromatic number of Mycielskians of cycles and determine the kth chromatic number of p-Mycielskian of a complete graph K_n for any integers k?1, p?0 and n?2. Finally, we prove that if a graph G is a/b-colorable then the p-Mycielskian of G, μ_p(G), is (at+b^p+1)/bt-colorable, where . And thus obtain graphs G with m(G) grows exponentially with the order of G, where m(G) is the minimal denominator of a a/b-coloring of G with χ_f(G)=a/b.     

Path bundles on n-cubes

A path bundle is a set of 2^a paths in an n-cube, denoted Q_n, such that every path has the same length, the paths partition the vertices of Q_n, the endpoints of the paths induce two subcubes of Q_n, and the endpoints of each path are complements. This paper shows that a path bundle exists if and only if n>0 is odd and 0?a?n-⌈log₂(n+1)⌉.     

Characterizations of postman sets

Using results by McKee and Woodall on binary matroids, we show that the set of postman sets has odd cardinality, generalizing a result by Toida on the cardinality of cycles in Eulerian graphs. We study the relationship between T-joins and blocks of the underlying graph, obtaining a decomposition of postman sets in terms of blocks. We conclude by giving several characterizations of T-joins which are postman sets.     

Critically prime interval orders

We prove that a prime interval order, not necessarily finite, has no prime upper cover if and only if it has width two. On the other hand, we prove that every finite prime N-free order has at least one prime upper cover.     

Kato's square root problem in Banach spaces

Let L be an elliptic differential operator with bounded measurable coefficients, acting in Bochner spaces Lp(Rn;X) of X -valued functions on Rn. We characterize Kato's square root estimates and the H^∞-functional calculus of L in terms of R-boundedness properties of the resolvent of L, when X is a Banach function lattice with the UMD property, or a noncommutative Lp space. To do so, we develop various vector-valued analogues of classical objects in Harmonic Analysis, including a maximal function for Bochner spaces. In the special case X=C, we get a new approach to the Lp theory of square roots of elliptic operators, as well as an Lp version of Carleson's inequality.     

The resolvent algebra: A new approach to canonical quantum systems

The standard C^∗-algebraic version of the algebra of canonical commutation relations, the Weyl algebra, frequently causes difficulties in applications since it neither admits the formulation of physically interesting dynamical laws nor does it incorporate pertinent physical observables such as (bounded functions of) the Hamiltonian. Here a novel C^∗-algebra of the canonical commutation relations is presented which does not suffer from such problems. It is based on the resolvents of the canonical operators and their algebraic relations. The resulting C^∗-algebra, the resolvent algebra, is shown to have many desirable analytic properties and the regularity structure of its representations is surprisingly simple. Moreover, the resolvent algebra is a convenient framework for applications to interacting and to constrained quantum systems, as we demonstrate by several examples.     

Maximal ergodic theorems for some group actions

We prove maximal ergodic inequalities for a sequence of operators and for their averages in the noncommutative Lp-space. We also obtain the corresponding individual ergodic theorems. Applying these results to actions of a free group on a von Neumann algebra, we get noncommutative analogues of maximal ergodic inequalities and pointwise ergodic theorems of Nevo-Stein.     

Noncommutative maximal ergodic theorems for positive contractions

Let M be a von Neumann algebra equipped with a normal semifinite faithful trace τ. Let T be a positive linear contraction on M such that τ○T?τ and such that the numerical range of T as an operator on L₂(M) is contained in a Stoltz region with vertex 1. We show that Junge and Xu's noncommutative Stein maximal ergodic inequality holds for the powers of T on Lp(M), 1<p?∞. We apply this result to obtain the noncommutative analogue of a recent result of Cohen concerning the iterates of the product of a finite number of conditional expectations.