9,827 research outputs found

    Proof of the Goldberg-Seymour Conjecture on Edge-Colorings of Multigraphs

    Full text link
    Given a multigraph G=(V,E)G=(V,E), the {\em edge-coloring problem} (ECP) is to color the edges of GG with the minimum number of colors so that no two adjacent edges have the same color. This problem can be naturally formulated as an integer program, and its linear programming relaxation is called the {\em fractional edge-coloring problem} (FECP). In the literature, the optimal value of ECP (resp. FECP) is called the {\em chromatic index} (resp. {\em fractional chromatic index}) of GG, denoted by Ο‡β€²(G)\chi'(G) (resp. Ο‡βˆ—(G)\chi^*(G)). Let Ξ”(G)\Delta(G) be the maximum degree of GG and let Ξ“(G)=max⁑{2∣E(U)∣∣Uβˆ£βˆ’1:  UβŠ†V,β€‰β€‰βˆ£U∣β‰₯3andodd},\Gamma(G)=\max \Big\{\frac{2|E(U)|}{|U|-1}:\,\, U \subseteq V, \,\, |U|\ge 3 \hskip 2mm {\rm and \hskip 2mm odd} \Big\}, where E(U)E(U) is the set of all edges of GG with both ends in UU. Clearly, max⁑{Ξ”(G),β€‰βŒˆΞ“(G)βŒ‰}\max\{\Delta(G), \, \lceil \Gamma(G) \rceil \} is a lower bound for Ο‡β€²(G)\chi'(G). As shown by Seymour, Ο‡βˆ—(G)=max⁑{Ξ”(G), Γ(G)}\chi^*(G)=\max\{\Delta(G), \, \Gamma(G)\}. In the 1970s Goldberg and Seymour independently conjectured that Ο‡β€²(G)≀max⁑{Ξ”(G)+1,β€‰βŒˆΞ“(G)βŒ‰}\chi'(G) \le \max\{\Delta(G)+1, \, \lceil \Gamma(G) \rceil\}. Over the past four decades this conjecture, a cornerstone in modern edge-coloring, has been a subject of extensive research, and has stimulated a significant body of work. In this paper we present a proof of this conjecture. Our result implies that, first, there are only two possible values for Ο‡β€²(G)\chi'(G), so an analogue to Vizing's theorem on edge-colorings of simple graphs, a fundamental result in graph theory, holds for multigraphs; second, although it is NPNP-hard in general to determine Ο‡β€²(G)\chi'(G), we can approximate it within one of its true value, and find it exactly in polynomial time when Ξ“(G)>Ξ”(G)\Gamma(G)>\Delta(G); third, every multigraph GG satisfies Ο‡β€²(G)βˆ’Ο‡βˆ—(G)≀1\chi'(G)-\chi^*(G) \le 1, so FECP has a fascinating integer rounding property

    Topological quantum phase transition in an S=2 spin chain

    Full text link
    We construct a model Hamiltonian for S = 2 spin chain, where a variable parameter Ξ±\alpha is introduced. The edge spin is S = 1 for Ξ±=0\alpha = 0, and S = 3/2 for Ξ±=1\alpha = 1. Due to the topological distinction of the edge states, these two phases must be separated by one or several topological quantum phase transitions. We investigate the nature of the quantum phase transition by DMRG calculation, and propose a phase diagram for this model.Comment: 5 pages, 4 figure

    A Polyhedral Description of Kernels

    Get PDF
    postprin

    Total Dual Integrality in Some Facility Location Problems

    Get PDF
    published_or_final_versio

    An efficient algorithm for finding maximum cycle packings in reducible flow graphs

    Get PDF
    Reducible flow graphs occur naturally in connection with flow-charts of computer programs and are used extensively for code optimization and global data flow analysis. In this paper we present an O(n2m log (n 2/m)) algorithm for finding a maximum cycle packing in any weighted reducible flow graph with n vertices and m arcs. Β© Springer-Verlag 2004.postprin
    • …
    corecore