graph
34763 papers tagged with this keyword
Tutte Polynomial of Ideal Arrangement
The Tutte polynomial is originally a bivariate polynomial enumerating the colorings of a graph and of its dual graph. But it reveals more of the internal structure of the graph like its number of forests, of spanning subgraphs, and of acyclic orientations. In 2007, Ardila extended the notion of Tutte polynomial to the hyperplane arrangements, and computed the Tutte polynomials of the classical root systems for a certain prime power of the first variable. In this article, we compute Tutte polynomials of ideal arrangements. Those arrangements were introduced in 2006 by Sommers and Tymoczko, and are defined for ideals of root systems. For the ideals of the classical root systems, we bring a slight improvement of the finite field method showing that it can applied on any finite field whose cardinality is not a minor of the matrix associated to a hyperplane arrangement. Computing the minor set associated to an ideal of a classical root system permits us particularly to deduce the Tutte polynomials of the classical root systems. For the ideals of the exceptional root systems of type $G_2$, $F_4$, and $E_6$, we use the formula of Crapo.
Cayley graphs with few automorphisms
Published in J Algebr Comb 53, 1117-1146 (2021)
• View Publication
• BIB
We show that every finitely generated group G with an element of order at least $(5rank(G))^{12}$ admits a locally finite directed Cayley graph with automorphism group equal to G. If moreover G is not generalized dihedral, then the above Cayley directed graph does not have bigons. On the other hand, if G is neither generalized dicyclic nor abelian and has an element of order at least $(2rank(G))^{36}$, then it admits an undirected Cayley graph with automorphism group equal to G. This extends classical results for finite groups and free products of groups. The above results are obtained as corollaries of a stronger form of rigidity which says that the rigidity of the graph can be observed in a ball of radius 1 around a vertex. This strong rigidity result also implies that the Cayley (di)graph covers very few (di)graphs. In particular, we obtain Cayley graphs of Tarski monsters which essentially do not cover other quasi-transitive graphs.
We also show that a finitely generated group admits a locally finite labelled unoriented Cayley graph with automorphism group equal to itself if and only if it is neither generalized dicyclic nor abelian with an element of order greater than 2.
A Linear Programming Based Approach to the Steiner Tree Problem with a Fixed Number of Terminals
Published
• View Publication
• BIB
We present a set of integer programs (IPs) for the Steiner tree problem with the property that the best solution obtained by solving all, provides an optimal Steiner tree. Each IP is polynomial in the size of the underlying graph and our main result is that the linear programming (LP) relaxation of each IP is integral so that it can be solved as a linear program. However, the number of IPs grows exponentially with the number of terminals in the Steiner tree. As a consequence, we are able to solve the Steiner tree problem by solving a polynomial number of LPs, when the number of terminals is fixed.
The resistance distance and Kirchhoff index on quadrilateral graph and pentagonal graph
The quadrilateral graph Q(G) is obtained from G by replacing each edge in G with two parallel paths of length 1 and 3, whereas the pentagonal graph W(G) is obtained from G by replacing each edge in G with two parallel paths of length 1 and 4. In this paper, closed-form formulas of resistance distance and Kirchhoff index for quadrilateral graph and pentagonal graph are obtained whenever G is an arbitrary graph.
On $k$-Connected $Γ$-Extensions of Binary Matroids
Slater introduced the point-addition operation on graphs to classify 4-connected graphs. The $Γ$-extension operation on binary matroids is a generalization of the point-addition operation. In this paper, we obtain necessary and sufficient conditions to preserve $k$-connectedness of a binary matroid under the $Γ$-extension operation. We also obtain a necessary and sufficient condition to get a connected matroid from a disconnected binary matroid using the $Γ$-extension operation.
Characterization of forbidden subgraphs for bounded star chromatic number
Published
• View Publication
• BIB
The chromatic number of a graph is the minimum $k$ such that the graph has a proper $k$-coloring. There are many coloring parameters in the literature that are proper colorings that also forbid bicolored subgraphs. Some examples are $2$-distance coloring, acyclic coloring, and star coloring, which forbid a bicolored path on three vertices, bicolored cycles, and a bicolored path on four vertices, respectively. This notion was first suggested by Grünbaum in 1973, but no specific name was given. We revive this notion by defining an $H$-avoiding $k$-coloring to be a proper $k$-coloring that forbids a bicolored subgraph $H$.
When considering the class $\mathcal C$ of graphs with no $F$ as an induced subgraph, it is not hard to see that every graph in $\mathcal C$ has bounded chromatic number if and only if $F$ is a complete graph of size at most two. We study this phenomena for the class of graphs with no $F$ as a subgraph for $H$-avoiding coloring. We completely characterize all graphs $F$ where the class of graphs with no $F$ as a subgraph has bounded $H$-avoiding chromatic number for a large class of graphs $H$. As a corollary, our main result implies a characterization of graphs $F$ where the class of graphs with no $F$ as a subgraph has bounded star chromatic number. We also obtain a complete characterization for the acyclic chromatic number.
A new Bound for the Maker-Breaker Triangle Game
The triangle game introduced by Chvátal and Erdős (1978) is one of the most famous combinatorial games. For $n,q\in\mathbb{N}$, the $(n,q)$-triangle game is played by two players, called Maker and Breaker, on the complete graph $K_n$. Alternately Maker claims one edge and thereafter Breaker claims $q$ edges of the graph. Maker wins the game if he can claim all three edges of a triangle, otherwise Breaker wins. Chvátal and Erdős (1978) proved that for $q<\sqrt{2n+2}-5/2\approx 1.414\sqrt{n}$ Maker has a winning strategy, and for $q\geq 2\sqrt{n}$ Breaker has a winning strategy. Since then, the problem of finding the exact leading constant for the threshold bias of the triangle game has been one of the famous open problems in combinatorial game theory. In fact, the constant is not known for any graph with a cycle and we do not even know if such a constant exists. Balogh and Samotij (2011) slightly improved the Chvátal-Erdős constant for Breaker's winning strategy from $2$ to $1.935$ with a randomized approach. Since then no progress was made. In this work, we present a new deterministic strategy for Breaker's win whenever $n$ is sufficiently large and $q\geq\sqrt{(8/3+o(1))n}\approx 1.633\sqrt{n}$, significantly reducing the gap towards the lower bound. In previous strategies Breaker chooses his edges such that one node is part of the last edge chosen by Maker, whereas the remaining node is chosen more or less arbitrarily. In contrast, we introduce a suitable potential function on the set of nodes. This allows Breaker to pick edges that connect the most `dangerous' nodes. The total potential of the game may still increase, even for several turns, but finally Breaker's strategy prevents the total potential of the game from exceeding a critical level and leads to Breaker's win.
Recovering Conductances of Resistor Networks in a Punctured Disk
The response matrix of a resistor network is the linear map from the potential at the boundary vertices to the net current at the boundary vertices. For circular planar resistor networks, Curtis, Ingerman, and Morrow have given a necessary and sufficient condition for recovering the conductance of each edge in the network uniquely from the response matrix using local moves and medial graphs. We generalize their results for resistor networks on a punctured disk. First we discuss additional local moves that occur in our setting, prove several results about medial graphs of resistor networks on a punctured disk, and define the notion of $z$-sequences for such graphs. We then define certain circular planar graphs that are electrically equivalent to standard graphs and turn them into networks on a punctured disk by adding a boundary vertex in the middle. We prove such networks are recoverable and are able to generalize this result to a much broader family of networks. A necessary condition for recoverability is also introduced.
Colouring triangle-free graphs with local list sizes
Published
• View Publication
• BIB
We prove two distinct and natural refinements of a recent breakthrough result of Molloy (and a follow-up work of Bernshteyn) on the (list) chromatic number of triangle-free graphs. In both our results, we permit the amount of colour made available to vertices of lower degree to be accordingly lower. One result concerns list colouring and correspondence colouring, while the other concerns fractional colouring. Our proof of the second illustrates the use of the hard-core model to prove a Johansson-type result, which may be of independent interest.
On Turán problems for Cartesian products of graphs
Published in Journal of Combinatorial Designs, vol. 27, no.7, 2019, pp. 411-414
• View Publication
• BIB
Let $A,B$ be disjoint sets of sizes $n$ and $m$. Let ${\mathcal Q}$ be a family of quadruples, having $2$ elements from $A$ and $2$ from $B$, such that any subset $S \subseteq A \cup B$ with $|S|=7$, $|S \cap A| \geq 2$ and $|S \cap B| \geq 2$ contains one of the quadruples. We prove that the smallest size of ${\mathcal Q}$ is $(1/16 + O(1/n) + O(1/m)) n^2 m^2$ as $n,m\to\infty$. We also solve asymptotically a more general two-partite Turán problem for quadruples.
A Graph Theory of Rook Placements
Two boards are rook equivalent if they have the same number of non-attacking rook placements for any number of rooks. Define a rook equivalence graph of an equivalence set of Ferrers boards by specifying that two boards are connected by an edge if you can obtain one of the boards by moving squares in the other board out of one column and into a singe other column. Given such a graph, we categorize which boards will yield connected graphs. We also provide some cases where common graphs will or will not be the graph for some set of rook equivalent Ferrers boards. Finally, we extend this graph definition to the $m$-level rook placement generalization developed by Briggs and Remmel. This yields a graph on the set of rook equivalent singleton boards, and we characterize which singleton boards give rise to a connected graph.
The Component Connectivity of Alternating Group Graphs and Split-Stars
Published in IEEE Access, Vol. 7, (2019) pp. 97745-97759
• View Publication
• BIB
For an integer $\ell\geqslant 2$, the $\ell$-component connectivity of a graph $G$, denoted by $κ_{\ell}(G)$, is the minimum number of vertices whose removal from $G$ results in a disconnected graph with at least $\ell$ components or a graph with fewer than $\ell$ vertices. This is a natural generalization of the classical connectivity of graphs defined in term of the minimum vertex-cut and is a good measure of robustness for the graph corresponding to a network. So far, the exact values of $\ell$-connectivity are known only for a few classes of networks and small $\ell$'s. It has been pointed out in~[Component connectivity of the hypercubes, Int. J. Comput. Math. 89 (2012) 137--145] that determining $\ell$-connectivity is still unsolved for most interconnection networks, such as alternating group graphs and star graphs. In this paper, by exploring the combinatorial properties and fault-tolerance of the alternating group graphs $AG_n$ and a variation of the star graphs called split-stars $S_n^2$, we study their $\ell$-component connectivities. We obtain the following results: (i) $κ_3(AG_n)=4n-10$ and $κ_4(AG_n)=6n-16$ for $n\geqslant 4$, and $κ_5(AG_n)=8n-24$ for $n\geqslant 5$; (ii) $κ_3(S_n^2)=4n-8$, $κ_4(S_n^2)=6n-14$, and $κ_5(S_n^2)=8n-20$ for $n\geqslant 4$.
Graph calculus and the disconnected-boundary Schwinger-Dyson equations of quartic tensor field theories
Published in Math Phys Anal Geom 23, 42 (2020)
• View Publication
• BIB
Tensor field theory (TFT) focuses on quantum field theory aspects of random tensor models, a quantum-gravity-motivated generalisation of random matrix models. The TFT correlation functions have been shown to be classified by graphs that describe the geometry of the boundary states, the so-called boundary graphs. These graphs can be disconnected, although the correlation functions are themselves connected. In a recent work, the Schwinger-Dyson equations for an arbitrary albeit connected boundary were obtained. Here, we introduce the multivariable graph calculus in order to derive the missing equations for all correlation functions with disconnected boundary, thus completing the Schwinger-Dyson pyramid for quartic melonic (`pillow'-vertices) models in arbitrary rank. We first study finite group actions that are parametrised by graphs and build the graph calculus on a suitable quotient of the monoid algebra $A[G]$ corresponding to a certain function space $A$ and to the free monoid $G$ in finitely many graph variables; a derivative of an element of $A[G]$ with respect to a graph yields its corresponding group action on $A$. The present result and the graph calculus have three potential applications: the non-perturbative large-$N$ limit of tensor field theories, the solvability of the theory by using methods that generalise the topological recursion to the TFT setting and the study of `higher dimensional maps' via Tutte-like equations. In fact, we also offer a term-by-term comparison between Tutte equations and the present Schwinger-Dyson equations.
Total 2-domination of proper interval graphs
A set of vertices $W$ of a graph $G$ is a total $k$-dominating set when every vertex of $G$ has at least $k$ neighbors in $W$. In a recent article, Chiarelli et al.\ (Improved Algorithms for $k$-Domination and Total $k$-Domination in Proper Interval Graphs, Lecture Notes in Comput.\ Sci.\ 10856, 290--302, 2018) prove that a total $k$-dominating set can be computed in $O(n^{3k})$ time when $G$ is a proper interval graph with $n$ vertices and $m$ edges. In this note we reduce the time complexity to $O(m)$ for $k=2$.
Planar Ramsey graphs
We say that a graph $H$ is planar unavoidable if there is a planar graph $G$ such that any red/blue coloring of the edges of $G$ contains a monochromatic copy of $H$, otherwise we say that $H$ is planar avoidable. I.e., $H$ is planar unavoidable if there is a Ramsey graph for $H$ that is planar. It follows from the Four-Color Theorem and a result of Gonçalves that if a graph is planar unavoidable then it is bipartite and outerplanar. We prove that the cycle on $4$ vertices and any path are planar unavoidable. In addition, we prove that all trees of radius at most $2$ are planar unavoidable and there are trees of radius $3$ that are planar avoidable. We also address the planar unavoidable notion in more than two colors.
On Mixed Domination in Generalized Petersen Graphs
Given a graph $G = (V, E)$, a set $S \subseteq V \cup E$ of vertices and edges is called a mixed dominating set if every vertex and edge that is not included in $S$ happens to be adjacent or incident to a member of $S$. The mixed domination number $γ_{md}(G)$ of the graph is the size of the smallest mixed dominating set of $G$. We present an explicit method for constructing optimal mixed dominating sets in Petersen graphs $P(n, k)$ for $k \in \{1, 2\}$. Our method also provides a new upper bound for other Petersen graphs.
The formula for Turán number of spanning linear forests
Published in Discrete Mathematics Volume 343, Issue 8, August 2020, 111924
• View Publication
• BIB
Let $\mathcal{F}$ be a family of graphs. The Turán number $ex(n;\mathcal{F})$ is defined to be the maximum number of edges in a graph of order $n$ that is $\mathcal{F}$-free. In 1959, Erdős and Gallai determined the Turán number of $M_{k+1}$ (a matching of size $k+1$) as follows: \[ ex(n;M_{k+1})= \max\left\{\binom{2k+1}{2},\binom{n}{2}-\binom{n-k}{2}\right\}. \] Since then, there has been a lot of research on Turán number of linear forests.
A linear forest is a graph whose connected components are all paths or isolated vertices. Let $\mathcal{L}_{n,k}$ be the family of all linear forests of order $n$ with $k$ edges. In this paper, we prove that \[ ex(n;\mathcal{L}_{n,k})= \max \left\{\binom{k}{2},\binom{n}{2}-\binom{n-\left\lfloor \frac{k-1}{2}\right \rfloor}{2}+ c \right\}, \] where $c=0$ if $k$ is odd and $c=1$ otherwise. This determines the maximum number of edges in a non-Hamiltonian graph with given Hamiltonian completion number and also solves two open problems in \cite{WY} as special cases.
Moreover, we show that our main theorem implies Erdős-Gallai Theorem and also gives a short new proof for it by the closure and counting techniques. Finally, we generalize our theorem to a conjecture which implies the famous Erdős Matching Conjecture.
On the cardinality spectrum and the number of latin bitrades of order 3
Published in Probl. Inf. Transm. 55(4) 2019, 343-365 (English); Probl. Peredachi Inf. 55(4) 2019, 52-75 (Russian)
• View Publication
• BIB
By a (latin) unitrade, we call a set of vertices of the Hamming graph that is intersects with every maximal clique in $0$ or $2$ vertices. A bitrade is a bipartite unitrade, that is, a unitrade splittable into two independent sets. We study the cardinality spectrum of the bitrades in the Hamming graph $H(n,k)$ with $k=3$ (ternary hypercube) and the growth of the number of such bitrades as $n$ grows. In particular, we determine all possible (up to $2.5\cdot 2^n$) and large (from $14\cdot 3^{n-3}$) cardinatities of bitrades and prove that the cardinality of a bitrade is compartible to $0$ or $2^n$ modulo $3$ (this result has a treatment in terms of a ternary code of Reed--Muller type). A part of the results is valid for any $k$. We prove that the number of nonequivalent bitrades is not less than $2^{(2/3-o(1))n}$ and is not greater than $2^{α^n}$, $α<2$, as $n\to\infty$.
Nearly-Regular Hypergraphs and Saturation of Berge Stars
Given a graph $G$, we say a $k$-uniform hypergraph $H$ on the same vertex set contains a Berge-$G$ if there exists an injection $φ:E(G)\to E(H)$ such that $e\subseteqφ(e)$ for each edge $e\in E(G)$. A hypergraph $H$ is Berge-$G$-saturated if $H$ does not contain a Berge-$G$, but adding any edge to $H$ creates a Berge-$G$. The saturation number for Berge-$G$, denoted $\mathrm{sat}_k(n,\text{Berge-}G)$ is the least number of edges in a $k$-uniform hypergraph that is Berge-$G$-saturated. We determine exactly the value of the saturation numbers for Berge stars. As a tool for our main result, we also prove the existence of nearly-regular $k$-uniform hypergraphs, or $k$-uniform hypergraphs in which every vertex has degree $r$ or $r-1$ for some $r\in \mathbb{Z}$, and less than $k$ vertices have degree $r-1$.
On a Sufficient Condition for Planar Graphs of Maximum Degree 6 to be Totally 7-Colorable
A total $k$-coloring of a graph is an assignment of $k$ colors to its vertices and edges such that no two adjacent or incident elements receive the same color. The Total Coloring Conjecture (TCC) states that every simple graph $G$ has a total ($Δ(G)+2$)-coloring, where $Δ(G)$ is the maximum degree of $G$. This conjecture has been confirmed for planar graphs with maximum degree at least 7 or at most 5, i.e., the only open case of TCC is that of maximum degree 6. It is known that every planar graph $G$ of $Δ(G) \geq 9$ or $Δ(G) \in \{7, 8\}$ with some restrictions has a total $(Δ(G) + 1)$-coloring. In particular, in [Shen and Wang, "On the 7 total colorability of planar graphs with maximum degree 6 and without 4-cycles", Graphs and Combinatorics, 25: 401-407, 2009], the authors proved that every planar graph with maximum degree 6 and without 4-cycles has a total 7-coloring. In this paper, we improve this result by showing that every diamond-free and house-free planar graph of maximum degree 6 is totally 7-colorable if every 6-vertex is not incident with two adjacent 4-cycles or not incident with three cycles of size $p,q,\ell$ for some $\{p,q,\ell\}\in \{\{3,4,4\},\{3,3,4\}\}$.