graph
34961 papers tagged with this keyword
Dual Equivalence Graphs Revisited and the Explicit Schur Expansion of a Family of LLT Polynomials
Published
• View Publication
• BIB
In 2007 Sami Assaf introduced dual equivalence graphs as a method for demonstrating that a quasisymmetric function is Schur positive. The method involves the creation of a graph whose vertices are weighted by Ira Gessel's fundamental quasisymmetric functions so that the sum of the weights of a connected component is a single Schur function. In this paper, we improve on Assaf's axiomatization of such graphs, giving locally testable criteria that are more easily verified by computers. We further advance the theory of dual equivalence graphs by describing a broader class of graphs that correspond to an explicit Schur expansion in terms of Yamanouchi words. Along the way, we demonstrate several symmetries in the structure of dual equivalence graphs. We then apply these techniques to give explicit Schur expansions for a family of Lascoux-Leclerc-Thibon polynomials. This family properly contains the previously known case of polynomials indexed by two skew shapes, as was described in a 1995 paper by Christophe Carré and Bernard Leclerc. As an immediate corollary, we gain an explicit Schur expansion for a family of modified Macdonald polynomials in terms of Yamanouchi words. This family includes all polynomials indexed by shapes with at most three cells in the first row and at most two cells in the second row, providing an extension to the combinatorial description of the two column case described in 2005 by James Haglund, Mark Haiman, and Nick Loehr.
Cohen-Macaulay-ness in codimension for bipartite graphs
Published
• View Publication
• BIB
Let $G$ be an unmixed bipartite graph of dimension $d-1$. Assume that $K_{n,n}$, with $n\ge 2$, is a maximal complete bipartite subgraph of $G$ of minimum dimension. Then $G$ is Cohen-Macaulay in codimension $d-n+1$. This generalizes a characterization of Cohen-Macaulay bipartite graphs by Herzog and Hibi and a result of Cook and Nagel on unmixed Buchsbaum graphs. Furthermore, we show that any unmixed bipartite graph $G$ which is Cohen-Macaulay in codimension $t$, is obtained from a Cohen-Macaulay graph by replacing certain edges of $G$ with complete bipartite graphs. We provide some examples.
Simplicial vertices in graphs with no induced four-edge path or four-edge antipath, and the $H_6$-conjecture
Published in J. Graph Theory 76(4) (2014), 249-261
• View Publication
• BIB
Let $\mathcal{G}$ be the class of all graphs with no induced four-edge path or four-edge antipath. Hayward and Nastos \cite{MS} conjectured that every prime graph in $\mathcal{G}$ not isomorphic to the cycle of length five is either a split graph or contains a certain useful arrangement of simplicial and antisimplicial vertices. In this paper we give a counterexample to their conjecture, and prove a slightly weaker version. Additionally, applying a result of the first author and Seymour \cite{grow} we give a short proof of Fouquet's result \cite{C5} on the structure of the subclass of bull-free graphs contained in $\mathcal{G}$.
Excluding four-edge paths and their complements
We prove that a graph G contains no induced four-edge path and no induced complement of a four-edge path if and only if G is obtained from five-cycles and split graphs by repeatedly applying the following operations: substitution, split graph unification, and split graph unification in the complement ("split graph unification" is a new class-preserving operation that is introduced in this paper).
Some combinatorial interpretations in perturbative quantum field theory
Published
• View Publication
• BIB
This paper will describe how combinatorial interpretations can help us understand the algebraic structure of two aspects of perturbative quantum field theory, namely analytic Dyson-Schwinger equations and periods of scalar Feynman graphs. The particular examples which will be looked at are, a better reduction to geometric series for Dyson-Schwinger equations, a subgraph which yields extra denominator reductions in scalar Feynman integrals, and an explanation of a trick of Brown and Schnetz to get one extra step in the denominator reduction of an important particular graph.
Critical Sets for Sudoku and General Graphs
Published
• View Publication
• BIB
We discuss the problem of finding critical sets in graphs, a concept which has appeared in a number of guises in the combinatorics and graph theory literature. The case of the Sudoku graph receives particular attention, because critical sets correspond to minimal fair puzzles. We define four parameters associated with the sizes of extremal critical sets and (a) prove several general results about these parameters' properties, including their computational intractability, (b) compute their values exactly for some classes of graphs, (c) obtain bounds for generalized Sudoku graphs, and (d) offer a number of open questions regarding critical sets and the aforementioned parameters.
Constructing, sampling and counting graphical realizations of restricted degree sequences
Published in PLOS ONE 2015. e0131300
• View Publication
• BIB
With the current burst of network theory (especially in connection with social and biological networks) there is a renewed interest on realizations of given degree sequences. In this paper we propose an essentially new degree sequence problem: we want to find graphical realizations of a given degree sequence on labeled vertices, where certain would-be edges are {\em forbidden}. Then we want to sample uniformly and efficiently all these possible realizations. (This problem can be considered as a special case of Tutte's $f$-factor problem, however it has a favorable sampling speed.)
We solve this {\em restricted degree sequence} (or RDS for short) problem completely if the forbidden edges form a bipartite graph, which consist of the union of a (not necessarily maximal) 1-factor and a (possible empty) star. Then we show how one can sample the space of all realizations of these RDSs uniformly and efficiently when the degree sequence describes a {\em half-regular} bipartite graph. Our result contains, as special cases, the well-known result of Kannan, Tetali and Vempala on sampling regular bipartite graphs and a recent result of Greenhill on sampling regular directed graphs (so it also provides new proofs of them).
The RDS problem descried above is self-reducible, therefore our {\em fully polynomial almost uniform sampler} (a.k.a. FPAUS) on the space of all realizations also provides a {\em fully polynomial randomized approximation scheme} (a.k.a. FPRAS) for approximate counting of all realizations.
The random graph
Published
• View Publication
• BIB
Erdős and Rényi showed the paradoxical result that there is a unique (and highly symmetric) countably infinite random graph. This graph, and its automorphism group, form the subject of the present survey.
A Note On Edge Connectivity and Parity Factor
Published
• View Publication
• BIB
In this paper, we investigate some parity factors by using Lovász's (g,f)-parity theorem. Let $m>0$ be an integer. Firstly, we obtain a sufficient and necessary condition for some graphs to have a parity factor with restricted minimum degree. Secondly, we obtain some sufficient conditions for a graph to have a parity factor with minimum degree $m$ in term of edge connectivity.
The Third Proof of Lovász's Cathedral Theorem
Published
• View Publication
• BIB
A graph $G$ with a perfect matching is called saturated if $G+e$ has more perfect matchings than $G$ for any edge $e$ that is not in $G$. Lovász gave a characterization of the saturated graphs called the cathedral theorem, with some applications to the enumeration problem of perfect matchings, and later Szigeti gave another proof. In this paper, we give a new proof with our preceding works which revealed canonical structures of general graphs with perfect matchings. Here, the cathedral theorem is derived in quite a natural way, providing more refined or generalized properties. Moreover, the new proof shows that it can be proved without using the Gallai-Edmonds structure theorem.
Exact algorithms for dominating induced matchings
Published
• View Publication
• BIB
Say that an edge of a graph G dominates itself and every other edge adjacent to it. An edge dominating set of a graph G = (V,E) is a subset of edges E' of E which dominates all edges of G. In particular, if every edge of G is dominated by exactly one edge of E' then E' is a dominating induced matching. It is known that not every graph admits a dominating induced matching, while the problem to decide if it does admit is NP-complete. In this paper we consider the problem of finding a minimum weighted dominating induced matching, if any, of a graph with weighted edges. We describe two exact algorithms for general graphs. The algorithms are efficient in the cases where G admits a known vertex dominating set of small size, or when G contains a polynomial number of maximal independent sets.
Medial symmetry type graphs
Published
• View Publication
• BIB
A $k$-orbit map is a map with its automorphism group partitioning the set of flags into $k$ orbits. Recently $k$-orbit maps were studied by Orbani\' c, Pellicer and Weiss, for $k \leq 4$. In this paper we use symmetry type graphs to extend such study and classify all the types of $5$-orbit maps, as well as all self-dual, properly and improperly, symmetry type of $k$-orbit maps with $k\leq 7$. Moreover, we determine, for small values of $k$, all types of $k$-orbits maps that are medial maps. Self-dualities constitute an important tool in this quest.
$r$-fundamental groups of graphs
In this paper, we introduce the notions of $r$-fundamental groups of graphs, $r$-covering maps, and $r$-neighborhood complexes of graphs for a positive integer $r$. There is a natural correspondence between $r$-covering maps and $r$-fundamental groups as is the case of the covering space theory in topology. We can derive obstructions of the existences of graph maps from $r$-fundamental groups. Especially, $r$-fundamental groups gives deep informations about the existences of graph maps to odd cycles. For example, we prove the Kneser graph $K_{2k+1,k}$ has no graph maps to $C_5$. $r$-neighborhood complexes are natural generalization of neighborhood complexes defined by Lov$\acute{\rm a}$sz. We prove that $(2r)$-fundamental groups gives graph theoretical description of the fundamental groups of $r$-neighborhood complexes.
The phase transition in inhomogeneous random intersection graphs
We analyze the component evolution in inhomogeneous random intersection graphs when the average degree is close to 1. As the average degree increases, the size of the largest component in the random intersection graph goes through a phase transition. We give bounds on the size of the largest components before and after this transition. We also prove that the largest component after the transition is unique. These results are similar to the phase transition in Erdős-Rényi random graphs; one notable difference is that the jump in the size of the largest component varies in size depending on the parameters of the random intersection graph.
Fractional Perfect b-Matching Polytopes. I: General Theory
Published
• View Publication
• BIB
The fractional perfect b-matching polytope of an undirected graph G is the polytope of all assignments of nonnegative real numbers to the edges of G such that the sum of the numbers over all edges incident to any vertex v is a prescribed nonnegative number b_v. General theorems which provide conditions for nonemptiness, give a formula for the dimension, and characterize the vertices, edges and face lattices of such polytopes are obtained. Many of these results are expressed in terms of certain spanning subgraphs of G which are associated with subsets or elements of the polytope. For example, it is shown that an element u of the fractional perfect b-matching polytope of G is a vertex of the polytope if and only if each component of the graph of u either is acyclic or else contains exactly one cycle with that cycle having odd length, where the graph of u is defined to be the spanning subgraph of G whose edges are those at which u is positive.
A bijective proof of Loehr-Warrington's formulas for the statistics $\mbox{ctot}_{\frac{q}{p}}$ and $\mbox{midd}_{\frac{q}{p}}$
Published
• View Publication
• BIB
Loehr and Warrington introduced partitional statistics $\mbox{ctot}_{\frac{q}{p}}(D)$ and $\mbox{midd}_{\frac{q}{p}}(D)$ and provided formulas for these statistics in terms of the boundary graph of the Young diagram $D$. In this paper we give a bijective proof of Loehr-Warrington's formulas using the following simple combinatorial observation: given a Young diagram $D$ and two numbers $a$ and $l,$ the number of boxes in $D$ with the arm length $a$ and the leg length $l$ is one less than the number of boxes with the same properties in the complement to $D.$ Here the complement is taken inside the positive quadrant or, equivalently, a very large rectangle.
Square Property, Equitable Partitions, and Product-like Graphs
Published
• View Publication
• BIB
Equivalence relations on the edge set of a graph $G$ that satisfy restrictive conditions on chordless squares play a crucial role in the theory of Cartesian graph products and graph bundles. We show here that such relations in a natural way induce equitable partitions on the vertex set of $G$, which in turn give rise to quotient graphs that can have a rich product structure even if $G$ itself is prime.
On cubic bridgeless graphs whose edge-set cannot be covered by four perfect matchings
Published in J. Graph Theory 77(2) (2014), 144-157
• View Publication
• BIB
The problem of establishing the number of perfect matchings necessary to cover the edge-set of a cubic bridgeless graph is strictly related to a famous conjecture of Berge and Fulkerson. In this paper we prove that deciding whether this number is at most 4 for a given cubic bridgeless graph is NP-complete. We also construct an infinite family $\cal F$ of snarks (cyclically 4-edge-connected cubic graphs of girth at least five and chromatic index four) whose edge-set cannot be covered by 4 perfect matchings. Only two such graphs were known. It turns out that the family $\cal F$ also has interesting properties with respect to the shortest cycle cover problem. The shortest cycle cover of any cubic bridgeless graph with $m$ edges has length at least $\tfrac43m$, and we show that this inequality is strict for graphs of $\cal F$. We also construct the first known snark with no cycle cover of length less than $\tfrac43m+2$.
Replication in critical graphs and the persistence of monomial ideals
Published in Journal of Combinatorial Theory, Series A 123(1): 239-251, 2014
• View Publication
• BIB
Motivated by questions about square-free monomial ideals in polynomial rings, in 2010 Francisco et al. conjectured that for every positive integer k and every k-critical (i.e., critically k-chromatic) graph, there is a set of vertices whose replication produces a (k+1)-critical graph. (The replication of a set W of vertices of a graph is the operation that adds a copy of each vertex w in W, one at a time, and connects it to w and all its neighbours.)
We disprove the conjecture by providing an infinite family of counterexamples. Furthermore, the smallest member of the family answers a question of Herzog and Hibi concerning the depth functions of square-free monomial ideals in polynomial rings, and a related question on the persistence property of such ideals.
Combinatorial approaches to Hopf bifurcations in systems of interacting elements
Published
• View Publication
• BIB
We describe combinatorial approaches to the question of whether families of real matrices admit pairs of nonreal eigenvalues passing through the imaginary axis. When the matrices arise as Jacobian matrices in the study of dynamical systems, these conditions provide necessary conditions for Hopf bifurcations to occur in parameterised families of such systems. The techniques depend on the spectral properties of additive compound matrices: in particular, we associate with a product of matrices a signed, labelled digraph termed a DSR^[2] graph, which encodes information about the second additive compound of this product. A condition on the cycle structure of this digraph is shown to rule out the possibility of nonreal eigenvalues with positive real part. The techniques developed are applied to systems of interacting elements termed "interaction networks", of which networks of chemical reactions are a special case.