arXiv++ Combinatorics

Browse math.CO papers from arXiv

graph

35299 papers tagged with this keyword
2014-09-04 v5
Quasisymmetric functions for nestohedra
For a generalized permutohedron $Q$ the enumerator $F(Q)$ of positive lattice points in interiors of maximal cones of the normal fan $Σ_Q$ is a quasisymmetric function. We describe this function for the class of nestohedra as a Hopf algebra morphism from a combinatorial Hopf algebra of building sets. For the class of graph-associahedra the corresponding quasisymmetric function is a new isomorphism invariant of graphs. The obtained invariant is quite natural as it is the generating function of ordered colorings of graphs and satisfies the recurrence relation with respect to deletions of vertices.
2014-09-04
Décomposition monomorphe des structures relationnelles et profil de classes héréditaires
We present a structural approach of some results about jumps in the behavior of the profile (alias generating function) of hereditary classes of finite structures. We start with the following notion due to N.Thiéry and the second author. A \emph{monomorphic decomposition} of a relational structure $R$ is a partition of its domain $V(R)$ into a family of sets $(V_x)_{x\in X}$ such that the restrictions of $R$ to two finite subsets $A$ and $A'$ of $V(R)$ are isomorphic provided that the traces $A\cap V_x$ and $A'\cap V_x$ have the same size for each $x\in X$. Let $\mathscr S_μ$ be the class of relational structures of signature $μ$ which do not have a finite monomorphic decomposition. We show that if a hereditary subclass $\mathscr D$ of $\mathscr S_μ$ is made of ordered relational structures then it contains a finite subset $\mathfrak A$ such that every member of $\mathscr D$ embeds some member of $\mathfrak A$. Furthermore, for each $R\in \mathfrak A$ the profile of the age $\mathcal A(R)$ of $R$ (made of finite substructures of $R$) is at least exponential. We deduce that if the profile of a hereditary class of finite ordered structures is not bounded by a polynomial then it is at least exponential. This result is a part of classification obtained by Balogh, Bollobás and Morris (2006) for ordered graphs. {\it To cite this article: Djamila Oudrar, Maurice Pouzet, C. R. Acad. Sci. Paris, Ser. I.}
2014-09-04
Well-dominated graphs without cycles of lengths 4 and 5
Let $G$ be a graph. A set $S$ of vertices in $G$ dominates the graph if every vertex of $G$ is either in $S$ or a neighbor of a vertex in $S$. Finding a minimal cardinality set which dominates the graph is an NP-complete problem. The graph $G$ is well-dominated if all its minimal dominating sets are of the same cardinality. The complexity status of recognizing well-dominated graphs is not known. We show that recognizing well-dominated graphs can be done polynomially for graphs without cycles of lengths $4$ and $5$, by proving that a graph belonging to this family is well-dominated if and only if it is well-covered. Assume that a weight function $w$ is defined on the vertices of $G$. Then $G$ is $w$-well-dominated} if all its minimal dominating sets are of the same weight. We prove that the set of weight functions $w$ such that $G$ is $w$-well-dominated is a vector space, and denote that vector space by $WWD(G)$. We prove that $WWD(G)$ is a subspace of $WCW(G)$, the vector space of weight functions $w$ such that $G$ is $w$-well-covered. We provide a polynomial characterization of $WWD(G)$ for the case that $G$ does not contain cycles of lengths $4$, $5$, and $6$.
Integer Generalized Splines on Cycles
Let G be a graph whose edges are labeled by positive integers. Label each vertex with an integer and suppose if two vertices are joined by an edge, the vertex labels are congruent to each other modulo the edge label. The set of vertex labels satisfying this condition is called a generalized spline. Gilbert, Polster, and Tymoczko recently defined generalized splines based on work on polynomial splines by Billera, Rose, Haas, Goresky-Kottwitz-Machperson, and many others. We focus on generalized splines on $n$-cycles. We construct a particularly nice basis for the module of splines on $n$-cycles. As an application, we construct generalized splines on star graphs, wheel graphs, and complete graphs.
2014-09-04 v2
On the strength of connectedness of a random hypergraph
Published • View Publication • BIB
Bollobás and Thomason (1985) proved that for each $k=k(n) \in [1, n-1]$, with high probability, the random graph process, where edges are added to vertex set $V=[n]$ uniformly at random one after another, is such that the stopping time of having minimal degree $k$ is equal to the stopping time of becoming $k$-(vertex-)connected. We extend this result to the $d$-uniform random hypergraph process, where $k$ and $d$ are fixed. Consequently, for $m=\frac{n}{d}(\ln n +(k-1)\ln \ln n +c)$ and $p=(d-1)! \frac{\ln n + (k-1) \ln \ln n +c}{n^{d-1}}$, the probability that the random hypergraph models $H_d(n, m)$ and $H_d(n, p)$ are $k$-connected tends to $e^{-e^{-c}/(k-1)!}.$
2014-09-03
A Folkman Linear Family
Published • View Publication • BIB
For graphs $F$ and $G$, let $F\to (G,G)$ signify that any red/blue edge coloring of $F$ contains a monochromatic $G$. Define Folkman number $f(G;p)$ to be the smallest order of a graph $F$ such that $F\to (G,G)$ and $ω(F) \le p$. It is shown that $f(G;p)\le cn$ for graphs $G$ of order $n$ with $Δ(G)\le Δ$, where $Δ\ge 3$, $c=c(Δ)$ and $p=p(Δ)$ are positive constants.
2014-09-03
Cycles in Oriented 3-graphs
Published • View Publication • BIB
An oriented 3-graph consists of a family of triples (3-sets), each of which is given one of its two possible cyclic orientations. A cycle in an oriented 3-graph is a positive sum of some of the triples that gives weight zero to each 2-set. Our aim in this paper is to consider the following question: how large can the girth of an oriented 3-graph (on $n$ vertices) be? We show that there exist oriented 3-graphs whose shortest cycle has length $\frac{n^2}{2}(1+o(1))$: this is asymptotically best possible. We also show that there exist 3-tournaments whose shortest cycle has length $\frac{n^2}{3}(1+o(1))$, in complete contrast to the case of 2-tournaments.
Cospectral regular graphs with and without a perfect matching
For each $b \geq 5$ we construct a pair of cospectral $b$-regular graphs, where one has a perfect matching and the other one not. This solves a research problem posed by the third author at the 22nd British Combinatorial Conference.
2014-09-02 v2
Partial duality of hypermaps
Published • View Publication • BIB
We introduce partial duality of hypermaps, which include the classical Euler-Poincaré duality as a particular case. Combinatorially, hypermaps may be described in one of three ways: as three involutions on the set of flags (bi-rotation system or $τ$-model), or as three permutations on the set of half-edges (rotation system or $σ$-model in orientable case), or as edge 3-coloured graphs. We express partial duality in each of these models. We give a formula for the genus change under partial duality.
2014-09-02
Equitable coloring of corona products of cubic graphs is harder than ordinary coloring
Published • View Publication • BIB
A graph is equitably $k$-colorable if its vertices can be partitioned into $k$ independent sets in such a way that the number of vertices in any two sets differ by at most one. The smallest $k$ for which such a coloring exists is known as the \emph{equitable chromatic number} of $G$ and it is denoted by $χ_{=}(G)$. In this paper the problem of determinig $χ_=$ for coronas of cubic graphs is studied. Although the problem of ordinary coloring of coronas of cubic graphs is solvable in polynomial time, the problem of equitable coloring becomes NP-hard for these graphs. We provide polynomially solvable cases of coronas of cubic graphs and prove the NP-hardness in a general case. As a by-product we obtain a simple linear time algorithm for equitable coloring of such graphs which uses $χ_=(G)$ or $χ_=(G)+1$ colors. Our algorithm is best possible, unless $P=NP$. Consequently, cubical coronas seem to be the only known class of graphs for which equitable coloring is harder than ordinary coloring.
2014-09-02
A note on the number of edges of the Jaco Graph, $J_n(1), n \in \Bbb N
Kok et.al. [3] introduced Jaco Graphs \emph{(order 1)}. It is hoped that as a special case, a closed formula can be found for the number of edges of a finite Jaco Graph $J_n(1)$. However, the algorithms discussed in Ahlbach et.al. [1] suggest this might not be possible. Finding a closed formula for the number of edges of a Jaco Graph $J_n(1), n \in \Bbb N$ remains an interesting open problem. In this note we present three alternative, \emph{formula}.
Locating-Dominating sets in Hypergraphs
Published • View Publication • BIB
A hypergraph is a generalization of a graph where edges can connect any number of vertices. In this paper, we extend the study of locating-dominating sets to hypergraphs. Along with some basic results, sharp bounds for the location-domination number of hypergraphs in general and exact values with specified conditions are investigated. Moreover, locating-dominating sets in some specific hypergraphs are found.
2014-09-01 v2
Regularity of powers of forests and cycles
Let G be a graph and let I = I(G) be its edge ideal. In this paper, when G is a forest or a cycle, we explicitly compute the regularity of I^s for all s > 0. In particular, for these classes of graphs, we provide the asymptotic linear function reg(I^s) as s > 0, and the initial value of s starting from which reg(I^s) attains its linear form. We also give new bounds on the regularity of I when G contains a Hamiltonian path and when G is a Hamiltonian graph.
2014-09-01
Distance-regular graphs where the distance-$d$ graph has fewer distinct eigenvalues
Published • View Publication • BIB
Let the Kneser graph $K$ of a distance-regular graph $Γ$ be the graph on the same vertex set as $Γ$, where two vertices are adjacent when they have maximal distance in $Γ$. We study the situation where the Bose-Mesner algebra of $Γ$ is not generated by the adjacency matrix of $K$. In particular, we obtain strong results in the so-called `half antipodal' case.
On the Recognition of Fan-Planar and Maximal Outer-Fan-Planar Graphs
Published • View Publication • BIB
Fan-planar graphs were recently introduced as a generalization of 1-planar graphs. A graph is fan-planar if it can be embedded in the plane, such that each edge that is crossed more than once, is crossed by a bundle of two or more edges incident to a common vertex. A graph is outer-fan-planar if it has a fan-planar embedding in which every vertex is on the outer face. If, in addition, the insertion of an edge destroys its outer-fan-planarity, then it is maximal outer-fan-planar. In this paper, we present a polynomial-time algorithm to test whether a given graph is maximal outer-fan-planar. The algorithm can also be employed to produce an outer-fan-planar embedding, if one exists. On the negative side, we show that testing fan-planarity of a graph is NP-hard, for the case where the rotation system (i.e., the cyclic order of the edges around each vertex) is given.
2014-09-01
New $\mathcal{F}$-Saturation Games on Directed Graphs
We study analogues of $\mathcal{F}$-saturation games, first introduced by Furedi, Reimer and Seress in 1991, and named as such by West. We examine analogous games on directed graphs, and show tight results on the walk-avoiding game. We also examine an intermediate game played on undirected graphs, such that there exists an orientation avoiding a given family of directed graphs, and show bounds on the score. This last game is shown to be equivalent to a recent game studied by Hefetz, Krivelevich, Naor and Stojakovic, and we give new bounds for biased versions of this game.
Gonality of Random Graphs
Published in Involve 9 (2016) 715-720 • View Publication • BIB
We show that the expected gonality of a random graph is asymptotic to the number of vertices.
2014-08-30 v2
Abelian networks III. The critical group
Published • View Publication • BIB
The critical group of an abelian network is a finite abelian group that governs the behavior of the network on large inputs. It generalizes the sandpile group of a graph. We show that the critical group of an irreducible abelian network acts freely and transitively on recurrent states of the network. We exhibit the critical group as a quotient of a free abelian group by a subgroup containing the image of the Laplacian, with equality in the case that the network is rectangular. We generalize Dhar's burning algorithm to abelian networks, and estimate the running time of an abelian network on an arbitrary input up to a constant additive error.
Weak Unit Disk and Interval Representation of Planar Graphs
Published • View Publication • BIB
We study a variant of intersection representations with unit balls, that is, unit disks in the plane and unit intervals on the line. Given a planar graph and a bipartition of the edges of the graph into near and far sets, the goal is to represent the vertices of the graph by unit balls so that the balls representing two adjacent vertices intersect if and only if the corresponding edge is near. We consider the problem in the plane and prove that it is NP-hard to decide whether such a representation exists for a given edge-partition. On the other hand, every series-parallel graph admits such a representation with unit disks for any near/far labeling of the edges. We also show that the representation problem on the line is equivalent to a variant of a graph coloring. We give examples of girth-4 planar and girth-3 outerplanar graphs that have no such representation with unit intervals. On the other hand, all triangle-free outerplanar graphs and all graphs with maximum average degree less than 26/11 can always be represented. In particular, this gives a simple proof of representability of all planar graphs with large girth.
2014-08-29 v3
Counting invertible Schrödinger Operators over Finite Fields for Trees, Cycles and Complete Graphs
Published • View Publication • BIB
We count invertible Schrödinger operators (perturbations by diagonal matrices of the adjacency matrix) over finite fieldsfor trees, cycles and complete graphs.This is achieved for trees through the definition and use of local invariants (algebraic constructions of perhapsindependent interest).Cycles and complete graphs are treated by ad hoc methods.