Splits of circuits

This paper discusses an attempt at identifying a property of circuits in (nonplanar) graphs resembling the separation property of circuits in planar graphs derived from the Jordan Curve Theorem.If G is a graph and C is a circuit in G, we say that two circuits in G form a split of C if the symmetric difference of their edges sets is equal to the edge set of C, and if they are separated in G by the intersection of their vertex sets.García Moreno and Jensen, A note on semiextensions of stable circuits, Discrete Math. 309 (2009) 4952-4954, asked whether such a split exists for any circuit C whenever G is 3-connected. We observe that if true, this implies a strong form of a version of the Cycle Double-Cover Conjecture suggested in the Ph.D. thesis of Luis Goddyn. The main result of the paper shows that the property holds for Hamilton circuits in cubic graphs.     

A note on list improper coloring of plane graphs

A list-assignment L to the vertices of G is an assignment of a set L(v) of colors to vertex v for every v∈V(G). An (L,d)^∗-coloring is a mapping ? that assigns a color ?(v)∈L(v) to each vertex v∈V(G) such that at most d neighbors of v receive color ?(v). A graph is called (k,d)^∗-choosable, if G admits an (L,d)^∗-coloring for every list assignment L with |L(v)|≥k for all v∈V(G). In this note, it is proved that every plane graph, which contains no 4-cycles and l-cycles for some l∈{8,9}, is (3,1)^∗-choosable.     

A note on cycle spectra of line graphs

We show that line graphs G=L(H) with σ₂(G)≥7 contain cycles of all lengths k, 2rad(H)+1≤k≤c(G). This implies that every line graph of such a graph with 2rad(H)≥Δ(H) is subpancyclic, improving a recent result of Xiong and Li. The bound on σ₂(G) is best possible.     

A note on minimum degree conditions for supereulerian graphs

A graph is called supereulerian if it has a spanning closed trail. Let G be a 2-edge-connected graph of order n such that each minimal edge cut SE(G) with |S|3 satisfies the property that each component of G−S has order at least (n−2)/5. We prove that either G is supereulerian or G belongs to one of two classes of exceptional graphs. Our results slightly improve earlier results of Catlin and Li. Furthermore, our main result implies the following strengthening of a theorem of Lai within the class of graphs with minimum degree δ4: If G is a 2-edge-connected graph of order n with δ(G)4 such that for every edge xyE(G) , we have max{d(x),d(y)}(n−2)/5−1, then either G is supereulerian or G belongs to one of two classes of exceptional graphs. We show that the condition δ(G)4 cannot be relaxed.     

A note on the weak (2,2)-Conjecture

Let $G=(V,E)$ be any graph without isolated edges. The well known 1–2–3 Conjecture asserts that the edges of $G$ can be weighted with $1,2,3$ so that adjacent vertices have distinct weighted degrees, i.e. the sums of their incident weights. It was independently conjectured that if $G$ additionally has no isolated triangles, then it can be edge decomposed into two subgraphs $G_1,G_2$ which fulfil the 1–2–3 Conjecture with just weights 1,2, i.e. such that there exist weightings ${\omega }_i:E\left(G_i\right)\to \{1,2\}$ so that for every $uv\in E$, if $uv\in E\left(G_i\right)$ then $d_{{\omega }_i}\left(u\right)\ne d_{{\omega }_i}\left(v\right)$, where $d_{{\omega }_i}\left(v\right)$ denotes the sum of weights incident with $v\in V$ in $G_i$ for $i=1,2$. We apply the probabilistic method to prove that the known weakening of this so-called Standard (2,2)-Conjecture holds for graphs with minimum degree large enough. Namely, we prove that if $\delta \left(G\right)\ge 3660$, then $G$ can be decomposed into graphs $G_1,G_2$ for which weightings ${\omega }_i:E\left(G_i\right)\to \{1,2\}$ exist so that for every $uv\in E$, $d_{{\omega }_1}\left(u\right)\ne d_{{\omega }_1}\left(v\right)$ or $d_{{\omega }_2}\left(u\right)\ne d_{{\omega }_2}\left(v\right)$. In fact we prove a stronger result, as one of the weightings is redundant, i.e. uses just weight 1.     

Two proofs of the Bermond-Thomassen conjecture for tournaments with bounded minimum in-degree

The Bermond-Thomassen conjecture states that, for any positive integer r, a digraph of minimum out-degree at least 2r−1 contains at least r vertex-disjoint directed cycles. Thomassen proved that it is true when r=2, and very recently the conjecture was proved for the case where r=3. It is still open for larger values of r, even when restricted to (regular) tournaments. In this paper, we present two proofs of this conjecture for tournaments with minimum in-degree at least 2r−1. In particular, this shows that the conjecture is true for (almost) regular tournaments. In the first proof, we prove auxiliary results about union of sets contained in another union of sets, that might be of independent interest. The second one uses a more graph-theoretical approach, by studying the properties of a maximum set of vertex-disjoint directed triangles.     

A combinatorial algorithm for weighted stable sets in bipartite graphs

Computing a maximum weighted stable set in a bipartite graph is considered well-solved and usually approached with preflow-push, Ford-Fulkerson or network simplex algorithms. We present a combinatorial algorithm for the problem that is not based on flows. Numerical tests suggest that this algorithm performs quite well in practice and is competitive with flow based algorithms especially in the case of dense graphs.     

A note on selective line-graphs and partition colorings

We extend a one-to-one correspondence between the set of all colorings of any graph and the set of all stable sets of an auxiliary graph, from graphs to partitioned graphs. This correspondence has an application to Selective Coloring and to Selective Max-Coloring.     

Separating multi-oddity constrained shortest circuits over the polytope of stable multisets

The maximum stable set problem is -hard. Koster and Zymolka introduced as a generalization the stable multiset problem by allowing vertices multiple times subject to vertex- and edge capacities and introduced cycle inequalities. We derive an efficient separation algorithm for them.     

On stable cutsets in claw-free graphs and planar graphs

A stable cutset in a connected graph is a stable set whose deletion disconnects the graph. Let $K_4$ and $K_{1,3}$ (claw) denote the complete (bipartite) graph on 4 and $1+3$ vertices. It is NP-complete to decide whether a line graph (hence a claw-free graph) with maximum degree five or a $K_4$-free graph admits a stable cutset. Here we describe algorithms deciding in polynomial time whether a claw-free graph with maximum degree at most four or whether a (claw, $K_4$)-free graph admits a stable cutset. As a by-product we obtain that the stable cutset problem is polynomially solvable for claw-free planar graphs, and also for planar line graphs.Thus, the computational complexity of the stable cutset problem is completely determined for claw-free graphs with respect to degree constraint, and for claw-free planar graphs. Moreover, we prove that the stable cutset problem remains NP-complete for $K_4$-free planar graphs with maximum degree five.     

A note on the Jacobian conjecture

In this paper we consider the Jacobian conjecture for a map of complex affine spaces of dimension . It is well known that if is proper, then the conjecture will hold. Using topological arguments, specifically Smith theory, we show that the conjecture holds if and only if is proper onto its image.

     

A note on the Path Kernel Conjecture

Let τ(G) denote the number of vertices in a longest path in a graph G=(V,E). A subset K of V is called a P_n-kernel of G if τ(G[K])≤n−1 and every vertex v∈V?K is adjacent to an end-vertex of a path of order n−1 in G[K]. It is known that every graph has a P_n-kernel for every positive integer n≤9. R. Aldred and C. Thomassen in [R.E.L. Aldred, C. Thomassen, Graphs with not all possible path-kernels, Discrete Math. 285 (2004) 297-300] proved that there exists a graph which contains no P₃₆₄-kernel. In this paper, we generalise this result. We construct a graph with no P₁₅₅-kernel and for each integer l≥0 we provide a construction of a graph G containing no P_τ(G)−l-kernel.     

A note on the Auslander-Reiten conjecture

It is proved that the Auslander-Reiten conjecture is true for local Artin algebras with radical cube zero.     

Completion of G-spectra and stable maps between classifying spaces

We prove structural theorems for computing the completion of a G-spectrum at the augmentation ideal of the Burnside ring of a finite group G. First we show that a G-spectrum can be replaced by a spectrum obtained by allowing only isotropy groups of prime power order without changing the homotopy type of the completion. We then show that this completion can be computed as a homotopy colimit of completions of spectra obtained by further restricting isotropy to one prime at a time, and that these completions can be computed in terms of completion at a prime.As an application, we show that the spectrum of stable maps from BG to the classifying space of a compact Lie group K splits non-equivariantly as a wedge sum of p-completed suspension spectra of classifying spaces of certain subquotients of G×K. In particular this describes the dual of BG.     

The equivariant topology of stable Kneser graphs

The stable Kneser graph SG_n,k, n?1, k?0, introduced by Schrijver (1978) [19], is a vertex critical graph with chromatic number k+2, its vertices are certain subsets of a set of cardinality m=2n+k. Björner and de Longueville (2003) [5] have shown that its box complex is homotopy equivalent to a sphere, Hom(K₂,SG_n,k)?Sk. The dihedral group D2m acts canonically on SG_n,k, the group C₂ with 2 elements acts on K₂. We almost determine the (C₂×D2m)-homotopy type of Hom(K₂,SG_n,k) and use this to prove the following results.The graphs SG_2s,4 are homotopy test graphs, i.e. for every graph H and r?0 such that Hom(SG_2s,4,H) is (r−1)-connected, the chromatic number χ(H) is at least r+6.If k∉{0,1,2,4,8} and n?N(k) then SG_n,k is not a homotopy test graph, i.e. there are a graph G and an r?1 such that Hom(SG_n,k,G) is (r−1)-connected and χ(G)<r+k+2.     

A note on stable matrices

A new similarity-canonical form for stable matrices is given in the real and complex cases, and is used to derive new proofs for the (respective) real and complex cases of the Stein-Pfeffer theorem.     

A note on stable exponents

Given an element γ in a group γ, the stable exponent p+(γ) of γ is defined as p+(γ) =lim sup_n→∞P(γⁿ) denotes the exponent of P(γⁿ) = sup{k/ ?γ_o ∈ γ such that γⁿ = γ^k _o We prove that if γ acts properly discontinuously by isometrics on a proper geodesic Gromov-hyperbolic metric space and γ ∈ γ is of hyperbolic type, then P+(γ) is an integer. This implies that the stable exponent of every element of infinite order in a word hyperbolic group is an integer. We also show that, in a translation discrete group, the stable exponent of every element of infinite order is finite.     

A note on the tameness of hyperbolic 3-manifolds

Among other related results we prove that a hyperbolic 3-manifold which admits an exhaustion by nested cores is tame.