arXiv++ Combinatorics

Browse math.CO papers from arXiv

graph

35175 papers tagged with this keyword
New Directions in Bipartite Field Theories
Published in JHEP 1306:032,2013 • View Publication • BIB
We perform a detailed investigation of Bipartite Field Theories (BFTs), a general class of 4d N=1 gauge theories which are defined by bipartite graphs. This class of theories is considerably expanded by identifying a new way of assigning gauge symmetries to graphs. A new procedure is introduced in order to determine the toric Calabi-Yau moduli spaces of BFTs. For graphs on a disk, we show that the matroid polytope for the corresponding cell in the Grassmannian coincides with the toric diagram of the BFT moduli space. A systematic BFT prescription for determining graph reductions is presented. We illustrate our ideas in infinite classes of BFTs and introduce various operations for generating new theories from existing ones. Particular emphasis is given to theories associated to non-planar graphs.
The crossing number of pancake graph $P_4$ is six
The {\it crossing number} of a graph $G$ is the least number of pairwise crossings of edges among all the drawings of $G$ in the plane. The pancake graph is an important topology for interconnecting processors in parallel computers. In this paper, we prove the exact value of the crossing number of pancake graph $P_4$ is six.
Quantum graph walks II: Quantum walks on graph coverings
We give a new determinant expression for the characteristic polynomial of the bond scattering matrix of a quantum graph G. Also, we give a decomposition formula for the characteristic polynomial of the bond scattering matrix of a regular covering of G. Furthermore, we define an L-function of G, and give a determinant expression of it. As a corollary, we express the characteristic polynomial of the bond scattering matrix of a regular covering of G by means of its L-functions. As an application, we introduce three types of quantum graph walks, and treat their relation.
2012-11-19
Inequalities on Bruhat graphs, R- and Kazhdan-Lusztig polynomials
Published in Journal of Combinatorial Series A 120 (2013) no.2, 470--482 • View Publication • BIB
From a combinatorial perspective, we establish three inequalities on coefficients of $R$- and Kazhdan-Lusztig polynomials for crystallographic Coxeter groups: (1) Nonnegativity of $(q-1)$-coefficients of $R$-polynomials, (2) a new criterion of rational singularities of Bruhat intervals by sum of quadratic coefficients of $R$-polynomials, (3) existence of a certain strict inequality (coefficientwise) of Kazhdan-Lusztig polynomials. Our main idea is to understand Deodhar's inequality in a connection with a sum of $R$-polynomials and edges of Bruhat graphs.
2012-11-19 v3
On $r$-Equitable Coloring of Complete Multipartite Graphs
Published in Taiwanese Journal of Mathematics 13(7), 991-998, 2013 • View Publication • BIB
Let $r \geqslant 0$ and $k \geqslant 1$ be integers. We say that a graph $G$ has an $r$-equitable $k$-coloring if there exists a proper $k$-coloring of $G$ such that the sizes of any two color classes differ by at most $r$. The least $k$ such that a graph $G$ has an $r$-equitable $k$-coloring is denoted by $χ_{r=} (G)$, and the least $n$ such that a graph $G$ has an $r$-equitable $k$-coloring for all $k \geqslant n$ is denoted by $χ^*_{r=} (G)$. In this paper, we propose a necessary and sufficient condition for a complete multipartite graph $G$ to have an $r$-equitable $k$-coloring, and also give exact values of $χ_{r=} (G)$ and $χ^*_{r=} (G)$.
2012-11-19 v2
Spectral characterizations of almost complete graphs
We investigate when a complete graph $K_n$ with some edges deleted is determined by its adjacency spectrum. It is shown to be the case if the deleted edges form a matching, a complete graph $K_m$ provided $m \leq n-2$, or a complete bipartite graph. If the edges of a path are deleted we prove that the graph is determined by its generalized spectrum (that is, the spectrum together with the spectrum of the complement). When at most five edges are deleted from $K_n$, there is just one pair of nonisomorphic cospectral graphs. We construct nonisomorphic cospectral graphs (with cospectral complements) for all $n$ if six or more edges are deleted from $K_n$, provided $n$ is big enough.
2012-11-19 v2
Combinatorial Hopf algebraic description of the multiscale renormalization in quantum field theory
Published in Seminaire Lotharingien de Combinatoire 70 (2014), B70c • Search Publication
We define in this paper several Hopf algebras describing the combinatorics of the so-called multi-scale renormalization in quantum field theory. After a brief recall of the main mathematical features of multi-scale renormalization, we define assigned graphs, that are graphs with appropriate decorations for the multi-scale framework. We then define Hopf algebras on these assigned graphs and on the Gallavotti-Nicolò trees, particular class of trees encoding the supplementary informations of the assigned graphs. Several morphisms between these combinatorial Hopf algebras and the Connes-Kreimer algebra are given. Finally, scale dependent couplings are analyzed via this combinatorial algebraic setting.
2012-11-19
An upper bound for the crossing number of bubble-sort graph Bn
The crossing number of a graph G is the minimum number of pairwise intersections of edges in a drawing of G. Motivated by the recent work [Faria, L., Figueiredo, C.M.H. de, Sykora, O., Vrt'o, I.: An improved upper bound on the crossing number of the hypercube. J. Graph Theory 59, 145-161 (2008)], we give an upper bound of the crossing number of n-dimensional bubble-sort graph Bn.
The crossing numbers of $K_{n,n}-nK_2$, $K_{n}\times P_2$, $K_{n}\times P_3$ and $K_n\times C_4$
The crossing number of a graph $G$ is the minimum number of pairwise intersections of edges among all drawings of $G$. In this paper, we study the crossing number of $K_{n,n}-nK_2$, $K_n\times P_2$, $K_n\times P_3$ and $K_n\times C_4$.
2012-11-19
The crossing number of the generalized Petersen graph P(10, 3) is six
Published • View Publication • BIB
The crossing number of a graph is the least number of crossings of edges among all drawings of the graph in the plane. In this article, we prove that the crossing number of the generalized Petersen graph P(10, 3) is equal to 6.
On the densities of cliques and independent sets in graphs
Published • View Publication • BIB
Let r, s >= 2 be integers. Suppose that the number of blue r-cliques in a red/blue coloring of the edges of the complete graph K_n is known and fixed. What is the largest possible number of red s-cliques under this assumption? The well known Kruskal-Katona theorem answers this question for r=2 or s=2. Using the shifting technique from extremal set theory together with some analytical arguments, we resolve this problem in general and prove that in the extremal coloring either the blue edges or the red edges form a clique.
2012-11-19
Zero forcing for inertia sets
Zero forcing is a combinatorial game played on a graph with a goal of turning all of the vertices of the graph black while having to use as few "unforced" moves as possible. This leads to a parameter known as the zero forcing number which can be used to give an upper bound for the maximum nullity of a matrix associated with the graph. We introduce a new variation on the zero forcing game which can be used to give an upper bound for the maximum nullity of a matrix associated with a graph that has $q$ negative eigenvalues. This gives some limits to the number of positive eigenvalues that such a graph can have and so can be used to form lower bounds for the inertia set of a graph.
2012-11-19 v2
Single Exponential FPT Algorithm for Interval Vertex Deletion and Interval Completion Problem
Let G be an input graph with n vertices and m edges and let k be a fixed parameter. We provide a single exponential FPT algorithm with running time O(c^kn(n+m)), c= min {18,k} that turns graph G into an interval graph by deleting at most k vertices from G. This solves an open problem posed by D.Marx [19]. We also provide a single exponential FPT algorithm with running time O(c^kn(n+m)), c= min {17,k} that turns G into an interval graph by adding at most$k edges. The first FPT algorithm with run time O(k^{2k}n^3m) appeared in STOC 2007 [24]. Our algorithm is the the first single exponential FPT algorithm that improves the running time of the previous algorithm. The algorithms are based on a structural decomposition of G into smaller subgraphs when G is free from small interval graph obstructions. The decomposition allows us to manage the search tree more efficiently.
2012-11-18
Equitable vertex arboricity of graphs
Published • View Publication • BIB
An equitable $(t,k,d)$-tree-coloring of a graph $G$ is a coloring to vertices of $G$ such that the sizes of any two color classes differ by at most one and the subgraph induced by each color class is a forest of maximum degree at most $k$ and diameter at most $d$. The minimum $t$ such that $G$ has an equitable $(t',k,d)$-tree-coloring for every $t'\geq t$ is called the strong equitable $(k,d)$-vertex-arboricity and denoted by $va^{\equiv}_{k,d}(G)$. In this paper, we give sharp upper bounds for $va^{\equiv}_{1,1}(K_{n,n})$ and $va^{\equiv}_{k,\infty}(K_{n,n})$ by showing that $va^{\equiv}_{1,1}(K_{n,n})=O(n)$ and $va^{\equiv}_{k,\infty}(K_{n,n})=O(n^{\1/2})$ for every $k\geq 2$. It is also proved that $va^{\equiv}_{\infty,\infty}(G)\leq 3$ for every planar graph $G$ with girth at least 5 and $va^{\equiv}_{\infty,\infty}(G)\leq 2$ for every planar graph $G$ with girth at least 6 and for every outerplanar graph. We conjecture that $va^{\equiv}_{\infty,\infty}(G)=O(1)$ for every planar graph and $va^{\equiv}_{\infty,\infty}(G)\leq \lceil\frac{Δ(G)+1}{2}\rceil$ for every graph $G$.
2012-11-18 v2
Paths and animals in unbounded degree graphs with repulsion
Published • View Publication • BIB
A class of countable infinite graphs with unbounded vertex degree is considered. In these graphs, the vertices of large degree `repel' each other, which means that the path distance between two such vertices cannot be smaller than a certain function of their degrees. Assuming that this function increases sufficiently fast, we prove that the number of finite connected subgraphs (animals) of order N containing a given vertex x is exponentially bounded in N for N belonging to an infinite subset N_x of natural numbers. Under a less restrictive condition, the same result is obtained for the number of simple paths originated at a given vertex. These results are then applied to a number of problems, including estimating the growth of the Randić index and of the number of greedy animals.
2012-11-18 v4
An upper bound on the fractional chromatic number of triangle-free subcubic graphs
Published in SIAM J. Discrete Math. 28 (2014), 1102--1136 • View Publication • BIB
An $(a:b)$-coloring of a graph $G$ is a function $f$ which maps the vertices of $G$ into $b$-element subsets of some set of size $a$ in such a way that $f(u)$ is disjoint from $f(v)$ for every two adjacent vertices $u$ and $v$ in $G$. The fractional chromatic number $χ_f(G)$ is the infimum of $a/b$ over all pairs of positive integers $a,b$ such that $G$ has an $(a:b)$-coloring. Heckman and Thomas conjectured that the fractional chromatic number of every triangle-free graph $G$ of maximum degree at most three is at most 2.8. Hatami and Zhu proved that $χ_f(G) \leq 3-3/64 \approx 2.953$. Lu and Peng improved the bound to $χ_f(G) \leq 3-3/43 \approx 2.930$. Recently, Ferguson, Kaiser and Král' proved that $χ_f(G) \leq 32/11 \approx 2.909$. In this paper, we prove that $χ_f(G) \leq 43/15 \approx 2.867$.
Exclusivity structures and graph representatives of local complementation orbits
Published in Journal of Mathematical Physics 54, 072202 (2013) • View Publication • BIB
We describe a construction that maps any connected graph G on three or more vertices into a larger graph, H(G), whose independence number is strictly smaller than its Lovász number which is equal to its fractional packing number. The vertices of H(G) represent all possible events consistent with the stabilizer group of the graph state associated with G, and exclusive events are adjacent. Mathematically, the graph H(G) corresponds to the orbit of G under local complementation. Physically, the construction translates into graph-theoretic terms the connection between a graph state and a Bell inequality maximally violated by quantum mechanics. In the context of zero-error information theory, the construction suggests a protocol achieving the maximum rate of entanglement-assisted capacity, a quantum mechanical analogue of the Shannon capacity, for each H(G). The violation of the Bell inequality is expressed by the one-shot version of this capacity being strictly larger than the independence number. Finally, given the correspondence between graphs and exclusivity structures, we are able to compute the independence number for certain infinite families of graphs with the use of quantum non-locality, therefore highlighting an application of quantum theory in the proof of a purely combinatorial statement.
2012-11-16
Generalized Measures of Fault Tolerance in Exchanged Hypercubes
Published • View Publication • BIB
The exchanged hypercube $EH(s,t)$, proposed by Loh {\it et al.} [The exchanged hypercube, IEEE Transactions on Parallel and Distributed Systems 16 (9) (2005) 866-874], is obtained by removing edges from a hypercube $Q_{s+t+1}$. This paper considers a kind of generalized measures $κ^{(h)}$ and $λ^{(h)}$ of fault tolerance in $EH(s,t)$ with $1\leqslant s\leqslant t$ and determines $κ^{(h)}(EH(s,t))=λ^{(h)}(EH(s,t))= 2^h(s+1-h)$ for any $h$ with $0\leqslant h\leqslant s$. The results show that at least $2^h(s+1-h)$ vertices (resp. $2^h(s+1-h)$ edges) of $EH(s,t)$ have to be removed to get a disconnected graph that contains no vertices of degree less than $h$, and generalizes some known results.
2012-11-16 v3
On Induced Subgraphs of Finite Graphs not Containing Large Empty and Complete Subgraphs
In their celebrated paper [Ramsey-Type Theorems, Discrete Appl. Math. 25 (1989) 37-52], Erdős and Hajnal asked the following: is it true, that for any finite graph H there exists a constant c(H) such that for any finite graph G, if G does not contain complete or empty induced subgraphs of size at least |V(G)|^c(H), then H can be isomorphically embedded into G ? The positive answer has become known as the Erdős-Hajnal conjecture. In Theorem 3.20 of the present paper we settle this conjecture in the affirmative. To do so, we are studying here the fine structure of ultraproducts of finite sets, so our investigations have a model theoretic character.
2012-11-16 v4
Fat Hoffman graphs with smallest eigenvalue greater than -3
Published in Discrete Applied Mathematics 176 (2014) 78-88 • View Publication • BIB
In this paper, we give a combinatorial characterization of the special graphs of fat Hoffman graphs containing $\mathfrak{K}_{1,2}$ with smallest eigenvalue greater than -3, where $\mathfrak{K}_{1,2}$ is the Hoffman graph having one slim vertex and two fat vertices.