graph
34934 papers tagged with this keyword
Toroidal graphs containing neither $K_5^{-}$ nor 6-cycles are 4-choosable
Published
• View Publication
• BIB
The choosability $χ_\ell(G)$ of a graph $G$ is the minimum $k$ such that having $k$ colors available at each vertex guarantees a proper coloring. Given a toroidal graph $G$, it is known that $χ_\ell(G)\leq 7$, and $χ_\ell(G)=7$ if and only if $G$ contains $K_7$. Cai, Wang, and Zhu proved that a toroidal graph $G$ without 7-cycles is 6-choosable, and $χ_\ell(G)=6$ if and only if $G$ contains $K_6$. They also prove that a toroidal graph $G$ without 6-cycles is 5-choosable, and conjecture that $χ_\ell(G)=5$ if and only if $G$ contains $K_5$. We disprove this conjecture by constructing an infinite family of non-4-colorable toroidal graphs with neither $K_5$ nor cycles of length at least 6; moreover, this family of graphs is embeddable on every surface except the plane and the projective plane. Instead, we prove the following slightly weaker statement suggested by Zhu: toroidal graphs containing neither $K^-_5$ (a $K_5$ missing one edge) nor 6-cycles are 4-choosable. This is sharp in the sense that forbidding only one of the two structures does not ensure that the graph is 4-choosable.
Multicoloring of cannonball graphs
The frequency allocation problem that appeared in the design of cellular telephone networks can be regarded as a multicoloring problem on a weighted hexagonal graph, which opened some still interesting mathematical problems. We generalize the multicoloring problem into higher dimension and present the first \jz{approximation} algorithms for multicoloring of so called cannonball graphs.
Functional Graphs of Polynomials over Finite Fields
Given a function $f$ in a finite field ${\mathbb F}_q$ of $q$ elements, we define the functional graph of $f$ as a directed graph on $q$ nodes labelled by the elements of ${\mathbb F}_q$ where there is an edge from $u$ to $v$ if and only if $f(u) = v$. We obtain some theoretic estimates on the number of non-isomorphic graphs generated by all polynomials of a given degree. We then develop a simple and practical algorithm to test the isomorphism of quadratic polynomials that has linear memory and time complexities. Furthermore, we extend this isomorphism testing algorithm to the general case of functional graphs, and prove that, while its time complexity increases only slightly, its memory complexity remains linear. We exploit this algorithm to provide an upper bound on the number of functional graphs corresponding to polynomials of degree $d$ over ${\mathbb F}_q$. Finally, we present some numerical results and compare function graphs of quadratic polynomials with those generated by random maps and pose interesting new problems.
Lower bounds for the spanning tree numbers of two graph products
For any graph $G$ of order $n$, the spanning tree packing number \emph{$STP(G)$}, is the maximum number of edge-disjoint spanning trees contained in $G$. In this paper, we obtain some sharp lower bounds for the spanning tree numbers of Cartesian product graphs and Lexicographic product graphs.
Finitely forcible graphons and permutons
Published
• View Publication
• BIB
We investigate when limits of graphs (graphons) and permutations (permutons) are uniquely determined by finitely many densities of their substructures, i.e., when they are finitely forcible. Every permuton can be associated with a graphon through the notion of permutation graphs. We find permutons that are finitely forcible but the associated graphons are not. We also show that all permutons that can be expressed as a finite combination of monotone permutons and quasirandom permutons are finitely forcible, which is the permuton counterpart of the result of Lovasz and Sos for graphons.
The Irreducible Spine(s) of Undirected Networks
Published
• View Publication
• BIB
Using closure concepts, we show that within every undirected network, or graph, there is a unique irreducible subgraph which we call its "spine". The chordless cycles which comprise this irreducible core effectively characterize the connectivity structure of the network as a whole. In particular, it is shown that the center of the network, whether defined by distance or betweenness centrality, is effectively contained in this spine. By counting the number of cycles of length 3 <= k <= max_length, we can also create a kind of signature that can be used to identify the network. Performance is analyzed, and the concepts we develop are illurstrated by means of a relatively small running sample network of about 400 nodes.
Hamiltonicity of the Cayley Digraph on the Symmetric Group Generated by σ = (1 2 ... n) and τ = (1 2)
The symmetric group is generated by σ = (1 2 ... n) and τ = (1 2). We answer an open problem of Nijenhuis and Wilf by constructing a Hamilton path in the directed Cayley graph for all n, and a Hamilton cycle for odd n.
Polynomial-time perfect matchings in dense hypergraphs
Published in Advances in Mathematics, 269 (2015), 265-334
• View Publication
• BIB
Let $H$ be a $k$-graph on $n$ vertices, with minimum codegree at least $n/k + cn$ for some fixed $c > 0$. In this paper we construct a polynomial-time algorithm which finds either a perfect matching in $H$ or a certificate that none exists. This essentially solves a problem of Karpiński, Ruciński and Szymańska; Szymańska previously showed that this problem is NP-hard for a minimum codegree of $n/k - cn$. Our algorithm relies on a theoretical result of independent interest, in which we characterise any such hypergraph with no perfect matching using a family of lattice-based constructions.
The generalized 3-connectivity of Lexicographic product graphs
Published
• View Publication
• BIB
The generalized $k$-connectivity $κ_k(G)$ of a graph $G$, introduced by Chartrand et al., is a natural and nice generalization of the concept of (vertex-)connectivity. In this paper, we prove that for any two connected graphs $G$ and $H$, $κ_3(G\circ H)\geq κ_3(G)|V(H)|$. We also give upper bounds for $κ_3(G\Box H)$ and $κ_3(G\circ H)$. Moreover, all the bounds are sharp.
Characterizing [h,2,1] graphs by minimal forbidden induced subgraphs
An undirected graph G is called a VPT graph if it is the vertex intersection graph of a family of paths in a tree. The class of graphs which admit a VPT representation in a host tree with maximum degree at most h is denoted by [h,2,1]. The classes [h,2,1] are closed by taking induced subgraphs, therefore each one can be characterized by a family of minimal forbidden induced subgraphs. In this paper we associate the minimal forbidden induced subgraphs for [h,2,1] which are VPT with (color) h-critical graphs. We describe how to obtain minimal forbidden induced subgraphs from critical graphs, even more, we show that the family of graphs obtained using our procedure is exactly the family of VPT minimal forbidden induced subgraphs for [h,2,1]. The members of this family together with the minimal forbidden induced subgraphs for VPT, are the minimal forbidden induced subgraphs for [h,2,1], with $h\geq 3$. Notice that by taking h=3 we obtain a characterization by minimal forbidden induced subgraphs of the class VPT $\cap$ EPT=EPT $\cap$ Chordal=[3,2,2]=[3,2,1].
Zero forcing for sign patterns
Published
• View Publication
• BIB
We introduce a new variant of zero forcing - signed zero forcing. The classical zero forcing number provides an upper bound on the maximum nullity of a matrix with a given graph (i.e. zero-nonzero pattern). Our new variant provides an analo- gous bound for the maximum nullity of a matrix with a given sign pattern. This allows us to compute, for instance, the maximum nullity of a Z-matrix whose graph is L(K_{n}), the line graph of a clique.
Pipage Rounding, Pessimistic Estimators and Matrix Concentration
Published
• View Publication
• BIB
Pipage rounding is a dependent random sampling technique that has several interesting properties and diverse applications. One property that has been particularly useful is negative correlation of the resulting vector. Unfortunately negative correlation has its limitations, and there are some further desirable properties that do not seem to follow from existing techniques. In particular, recent concentration results for sums of independent random matrices are not known to extend to a negatively dependent setting.
We introduce a simple but useful technique called concavity of pessimistic estimators. This technique allows us to show concentration of submodular functions and concentration of matrix sums under pipage rounding. The former result answers a question of Chekuri et al. (2009). To prove the latter result, we derive a new variant of Lieb's celebrated concavity theorem in matrix analysis.
We provide numerous applications of these results. One is to spectrally-thin trees, a spectral analog of the thin trees that played a crucial role in the recent breakthrough on the asymmetric traveling salesman problem. We show a polynomial time algorithm that, given a graph where every edge has effective conductance at least $κ$, returns an $O(κ^{-1} \cdot \log n / \log \log n)$-spectrally-thin tree. There are further applications to rounding of semidefinite programs, to the column subset selection problem, and to a geometric question of extracting a nearly-orthonormal basis from an isotropic distribution.
Vertex-Coloring Edge-Weighting of Bipartite Graphs with Two Edge Weights
Published
• View Publication
• BIB
Let $G$ be a graph and $\mathcal {S}$ be a subset of $Z$. A vertex-coloring $\mathcal {S}$-edge-weighting of $G$ is an assignment of weight $s$ by the elements of $\mathcal {S}$ to each edge of $G$ so that adjacent vertices have different sums of incident edges weights.
It was proved that every 3-connected bipartite graph admits a vertex-coloring $\{1,2\}$-edge-weighting (Lu, Yu and Zhang, (2011) \cite{LYZ}). In this paper, we show that the following result: if a 3-edge-connected bipartite graph $G$ with minimum degree $δ$ contains a vertex $u\in V(G)$ such that $d_G(u)=δ$ and $G-u$ is connected, then $G$ admits a vertex-coloring $\mathcal {S}$-edge-weighting for $\mathcal {S}\in \{\{0,1\},\{1,2\}\}$. In particular, we show that every 2-connected and 3-edge-connected bipartite graph admits a vertex-coloring $\mathcal {S}$-edge-weighting for $\mathcal {S}\in \{\{0,1\},\{1,2\}\}$. The bound is sharp, since there exists a family of infinite bipartite graphs which are 2-connected and do not admit vertex-coloring $\{1,2\}$-edge-weightings or vertex-coloring $\{0,1\}$-edge-weightings.
New results on word-representable graphs
Published
• View Publication
• BIB
A graph $G=(V,E)$ is word-representable if there exists a word $w$ over the alphabet $V$ such that letters $x$ and $y$ alternate in $w$ if and only if $(x,y)\in E$ for each $x\neq y$. The set of word-representable graphs generalizes several important and well-studied graph families, such as circle graphs, comparability graphs, 3-colorable graphs, graphs of vertex degree at most 3, etc. By answering an open question from [M. Halldorsson, S. Kitaev and A. Pyatkin, Alternation graphs, Lect. Notes Comput. Sci. 6986 (2011) 191--202. Proceedings of the 37th International Workshop on Graph-Theoretic Concepts in Computer Science, WG 2011, Tepla Monastery, Czech Republic, June 21-24, 2011.], in the present paper we show that not all graphs of vertex degree at most 4 are word-representable. Combining this result with some previously known facts, we derive that the number of $n$-vertex word-representable graphs is $2^{\frac{n^2}{3}+o(n^2)}$.
Nowhere-zero flows on signed regular graphs
Published in European Journal of Combinatorics 48 (2015) 34-47
• View Publication
• BIB
We study the flow spectrum ${\cal S}(G)$ and the integer flow spectrum $\overline{\cal S}(G)$ of signed $(2t+1)$-regular graphs. We show that if $r \in {\cal S}(G)$, then $r = 2+\frac{1}{t}$ or $r \geq 2 + \frac{2}{2t-1}$. Furthermore, $2 + \frac{1}{t} \in {\cal S}(G)$ if and only if $G$ has a $t$-factor. If $G$ has a 1-factor, then $3 \in \overline{\cal S}(G)$, and for every $t \geq 2$, there is a signed $(2t+1)$-regular graph $(H,σ)$ with $ 3 \in \overline{\cal S}(H)$ and $H$ does not have a 1-factor.
If $G$ $(\not = K_2^3)$ is a cubic graph which has a 1-factor, then $\{3,4\} \subseteq {\cal S}(G) \cap \overline{\cal S}(G)$. Furthermore, the following four statements are equivalent: (1) $G$ has a 1-factor. (2) $3 \in {\cal S}(G)$. (3) $3 \in \overline{\cal S}(G)$. (4) $4 \in \overline{\cal S}(G)$. There are cubic graphs whose integer flow spectrum does not contain 5 or 6, and we construct an infinite family of bridgeless cubic graphs with integer flow spectrum $\{3,4,6\}$.
We show that there are signed graphs where the difference between the integer flow number and the flow number is greater than or equal to 1, disproving a conjecture of Raspaud and Zhu.
The paper concludes with a proof of Bouchet's 6-flow conjecture for Kotzig-graphs.
Finite groups whose prime graphs are regular
Published
• View Publication
• BIB
Let G be a finite group and let Irr(G) be the set of all irreducible complex characters of G. Let cd(G) be the set of all character degrees of G and denote by ρ(G) the set of primes which divide some character degrees of G. The prime graph Δ(G) associated to G is a graph whose vertex set is ρ(G) and there is an edge between two distinct primes p and q if and only if the product pq divides some character degree of G. In this paper, we show that the prime graph Δ(G) of a finite group G is 3-regular if and only if it is a complete graph with four vertices.
The arithmetical rank of the edge ideals of graphs with whiskers
Published
• View Publication
• BIB
We consider the edge ideals of large classes of graphs with whiskers and for these ideals we prove that the arithmetical rank is equal to the big height. Then we extend these results to other classes of squarefree monomial ideals, generated in any degree, proving that the same equality holds.
Linear bound in terms of maxmaxflow for the chromatic roots of series-parallel graphs
Published in SIAM Journal of Discrete Mathematics 29, 2117-2159 (2015) -- note that Appendices A and B are not included in the published version, for lack of space
• View Publication
• BIB
We prove that the (real or complex) chromatic roots of a series-parallel graph with maxmaxflow Lambda lie in the disc |q-1| < (Lambda-1)/log 2. More generally, the same bound holds for the (real or complex) roots of the multivariate Tutte polynomial when the edge weights lie in the "real antiferromagnetic regime" -1 \le v_e \le 0. This result is within a factor 1/log 2 \approx 1.442695 of being sharp
Star edge coloring of some classes of graphs
Published
• View Publication
• BIB
\textit{A star edge coloring} of a graph is a proper edge coloring without bichromatic paths and cycles of length four. In this paper we establish tight upper bounds for trees and subcubic outerplanar graphs, and derive an upper bound for outerplanar graphs.
Investigating independent subsets of graphs, with Mathematica
Published in Mathematica Italia User Group Meeting (UGM) 2013, ISBN 9788896810033. (2013)
• Search Publication
With this work we aim to show how Mathematica can be a useful tool to investigate properties of combinatorial structures. Specifically, we will face enumeration problems on independent subsets of powers of paths and cycles, trying to highlight the correspondence with other combinatorial objects with the same cardinality. Then we will study the structures obtained by ordering properly independent subsets of paths and cycles. We will approach some enumeration problems on the resulting partially ordered sets, putting in evidence the correspondences with structures known as Fibonacci and Lucas Cubes.