graph
34763 papers tagged with this keyword
Counting Induced Subgraphs: An Algebraic Approach to #W[1]-hardness
We study the problem #IndSub(P) of counting all induced subgraphs of size k in a graph G that satisfy the property P. This problem was introduced by Jerrum and Meeks and shown to be #W[1]-hard when parameterized by k for some families of properties P including, among others, connectivity [JCSS 15] and even- or oddness of the number of edges [Combinatorica 17]. Very recently [IPEC 18], two of the authors introduced a novel technique for the complexity analysis of #IndSub(P), inspired by the "topological approach to evasiveness" of Kahn, Saks and Sturtevant [FOCS 83] and the framework of graph motif parameters due to Curticapean, Dell and Marx [STOC 17], allowing them to prove hardness of a wide range of properties P. In this work, we refine this technique for graph properties that are non-trivial on edge-transitive graphs with a prime power number of edges. In particular, we fully classify the case of monotone bipartite graph properties: It is shown that, given any graph property P that is closed under the removal of vertices and edges, and that is non-trivial for bipartite graphs, the problem #IndSub(P) is #W[1]-hard and cannot be solved in time f(k)*n^{o(k)} for any computable function f, unless the Exponential Time Hypothesis fails. This holds true even if the input graph is restricted to be bipartite and counting is done modulo a fixed prime. A similar result is shown for properties that are closed under the removal of edges only.
Computing weighted Szeged and PI indices from quotient graphs
Published in Int. J. Quantum Chem. 119 (2019) e26006
• View Publication
• BIB
The weighted Szeged index and the weighted vertex-PI index of a connected graph $G$ are defined as $wSz(G) = \sum_{e=uv \in E(G)} (deg (u) + deg (v))n_u(e)n_v(e)$ and $wPI_v(G) = \sum_{e=uv \in E(G)} (deg(u) + deg(v))( n_u(e) + n_v(e))$, respectively, where $n_u(e)$ denotes the number of vertices closer to $u$ than to $v$ and $n_v(e)$ denotes the number of vertices closer to $v$ than to $u$. Moreover, the weighted edge-Szeged index and the weighted PI index are defined analogously. As the main result of this paper, we prove that if $G$ is a connected graph, then all these indices can be computed in terms of the corresponding indices of weighted quotient graphs with respect to a partition of the edge set that is coarser than the $Θ^*$-partition. If $G$ is a benzenoid system or a phenylene, then it is possible to choose a partition of the edge set in such a way that the quotient graphs are trees. As a consequence, it is shown that for a benzenoid system the mentioned indices can be computed in sub-linear time with respect to the number of vertices. Moreover, closed formulas for linear phenylenes are also deduced. However, our main theorem is proved in a more general form and therefore, we present how it can be used to compute some other topological indices.
Tilings in randomly perturbed graphs: bridging the gap between Hajnal-Szemerédi and Johansson-Kahn-Vu
A perfect $K_r$-tiling in a graph $G$ is a collection of vertex-disjoint copies of $K_r$ that together cover all the vertices in $G$. In this paper we consider perfect $K_r$-tilings in the setting of randomly perturbed graphs; a model introduced by Bohman, Frieze and Martin where one starts with a dense graph and then adds $m$ random edges to it. Specifically, given any fixed $0< α<1-1/r$ we determine how many random edges one must add to an $n$-vertex graph $G$ of minimum degree $δ(G) \geq αn$ to ensure that, asymptotically almost surely, the resulting graph contains a perfect $K_r$-tiling. As one increases $α$ we demonstrate that the number of random edges required `jumps' at regular intervals, and within these intervals our result is best-possible. This work therefore closes the gap between the seminal work of Johansson, Kahn and Vu (which resolves the purely random case, i.e., $α=0$) and that of Hajnal and Szemerédi (which demonstrates that for $α\geq 1-1/r$ the initial graph already houses the desired perfect $K_r$-tiling).
About a counterexample on contractible transformations of graphs
In [A. V. Ivashchenko, Contractible transformations do not change the homology groups of graphs, Discrete Mathematics 126 (1) (1994) p 159,170], Ivashchenko started with the study of contractible graphs, he began with this because they have application to molecular spaces. But in a second paper [A. V. Ivashchenko, Some properties of contractible transformations on graphs, Discrete Mathematics 133 (1) (1994) p 139,145], he made several mistakes. We show in this paper that the results in that second paper are false or the proofs are wrong.
The general Zagreb index of lattice networks
A topological index is a real number which is derived from a network or a graph by mathematically that characterizes the whole of its structural properties. Recently, there are various topological indices that have been introduced in mathematical chemistry to predict the properties of molecular topology. Among, the degree based topological indices such as Zagreb indices, forgotten topological index, redefined Zagreb index, Randic index, general first Zagreb index, symmetric division deg index and hence so forth are most important, because of their chemical significance. In this work, we study the general Zagreb index of hexagonal and triangular lattice networks.
A result on polynomials derived via graph theory
We present an example of a result in graph theory that is used to obtain a result in another branch of mathematics. More precisely, we show that the isomorphism of certain directed graphs implies that some trinomials over finite fields have the same number of roots.
Decomposing a Graph into Unigraphs
Unigraphs are graphs uniquely determined by their own degree sequence up to isomorphism. There are many subclasses of unigraphs such as threshold graphs, split matrogenic graphs, matroidal graphs, and matrogenic graphs. Unigraphs and these subclasses are well studied in the literature. Nevertheless, there are few results on superclasses of unigraphs. In this paper, we introduce two types of generalizations of unigraphs: $k$-unigraphs and $k$-strong unigraphs. We say that a graph $G$ is a $k$-unigraph if $G$ can be partitioned into $k$ unigraphs. $G$ is a $k$-strong unigraph if not only each subgraph is a unigraph but also the whole graph can be uniquely determined up to isomorphism, by using the degree sequences of all the subgraphs in the partition. We describe a relation between $k$-strong unigraphs and the subgraph isomorphism problem. We show some properties of $k$-(strong) unigraphs and algorithmic results on calculating the minimum $k$ such that a graph $G$ is a $k$-(strong) unigraph. This paper will open many other research topics.
Linear codes over signed graphs
Published in Des. Codes Cryptogr. 88 (2020), 273--296
• Search Publication
We give formulas, in terms of graph theoretical invariants, for the minimum distance and the generalized Hamming weights of the linear code generated by the rows of the incidence matrix of a signed graph over a finite field, and for those of its dual code. Then we determine the regularity of the ideals of circuits and cocircuits of a signed graph, and prove an algebraic formula in terms of the multiplicity for the frustration index of an unbalanced signed graph.
Polynomial invariants and reciprocity theorems for the Hopf monoid of hypergraphs and its sub-monoids
Published in Formal Power Series and Algebraic Combinatorics, Séminaire Lotharingien de Combinatoire, 82B.32, 2019
• Search Publication
In arXiv:1709.07504 Aguiar and Ardila give a Hopf monoid structure on hypergraphs as well as a general construction of polynomial invariants on Hopf monoids. Using these results, we define in this paper a new polynomial invariant on hypergraphs. We give a combinatorial interpretation of this invariant on negative integers which leads to a reciprocity theorem on hypergraphs. Finally, we use this invariant to recover well-known invariants on other combinatorial objects (graphs, simplicial complexes, building sets etc) as well as the associated reciprocity theorems.
Chromatic symmetric functions in noncommuting variables revisited
In 1995 Stanley introduced a generalization of the chromatic polynomial of a graph $G$, called the chromatic symmetric function, $X_G$, which was generalized to noncommuting variables, $Y_G$, by Gebhard-Sagan in 2001. Recently there has been a renaissance in the study of $X_G$, in particular in classifying when $X_G$ is a positive linear combination of elementary symmetric or Schur functions.
We extend this study from $X_G$ to $Y_G$, including establishing the multiplicativity of $Y_G$, and showing $Y_G$ satisfies the $k$-deletion property. Moreover, we completely classify when $Y_G$ is a positive linear combination of elementary symmetric functions in noncommuting variables, and similarly for Schur functions in noncommuting variables, in the sense of Bergeron-Hohlweg-Rosas-Zabrocki. We further establish the natural multiplicative generalization of the fundamental theorem of symmetric functions, now in noncommuting variables, and obtain numerous new bases for this algebra whose generators are chromatic symmetric functions in noncommuting variables. Finally, we show that of all known symmetric functions in noncommuting variables, only all elementary and specified Schur ones can be realized as $Y_G$ for some $G$.
On p-ary Bent Functions and Strongly Regular Graphs
Our main result is a generalized Dillon-type theorem, giving graph-theoretic conditions which guarantee that a $p$-ary function in an even number of variables is bent, for $p$ a prime number greater than 2. The key condition is that the component Cayley graphs associated to the values of the function are strongly regular, and either all of Latin square type, or all of negative Latin square type. Such a Latin or negative Latin square type bent function is regular or weakly regular, respectively. Its dual function has component Cayley graphs with the same parameters as those of the original function. We also give a criterion for bent functions involving structure constants of association schemes. We prove that if a $p$-ary function with component Cayley graphs of feasible degrees determines an amorphic association scheme, then it is bent. Since amorphic association schemes correspond to strongly regular graph decompositions of Latin or negative Latin square type, this result is equivalent to our main theorem. We show how to construct bent functions from orthogonal arrays and give some examples.
Monochromatic disconnection: Erdős-Gallai-type problems and product graphs
For an edge-colored graph $G$, we call an edge-cut $M$ of $G$ monochromatic if the edges of $M$ are colored with a same color. The graph $G$ is called monochromatically disconnected if any two distinct vertices of $G$ are separated by a monochromatic edge-cut. The monochromatic disconnection number, denoted by $md(G)$, of a connected graph $G$ is the maximum number of colors that are allowed to make $G$ monochromatically disconnected. In this paper, we solve the Erdős-Gallai-type problems for the monochromatic disconnection, and give the monochromatic disconnection numbers for four graph products, i.e., Cartesian, strong, lexicographic, and tensor products.
Maximal co-cliques in the Kneser graph on plane-solid flags in $PG(6,q)$
Published in Innov. Incidence Geom. 18 (2020) 39-55
• View Publication
• BIB
For $q>27$ we determine the independence number $α(Γ)$ of the Kneser graph $Γ$ on plane-solid flags in $PG(6,q)$. More precisely we describe all maximal independent sets of size at least $q^{11}$ and show that every other maximal example has cardinality at most a constant times $q^{10}$.
Upper bounds for bar visibility of subgraphs and n-vertex graphs
A $t$-bar visibility representation of a graph assigns each vertex up to $t$ horizontal bars in the plane so that two vertices are adjacent if and only if some bar for one vertex can see some bar for the other via an unobstructed vertical channel of positive width. The least $t$ such that $G$ has a $t$-bar visibility representation is the bar visibility number of $G$, denoted by $b(G)$. We show that if $H$ is a spanning subgraph of $G$, then $b(H)\le b(G)+1$. It follows that $b(G)\le \lceil n/6\rceil+1$ when $G$ is an $n$-vertex graph. This improves the upper bound obtained by Chang et al. (SIAM J. Discrete Math. 18 (2004) 462).
Perfect State Transfer on Weighted Graphs of the Johnson Scheme
Published
• View Publication
• BIB
We characterize perfect state transfer on real-weighted graphs of the Johnson scheme $\mathcal{J}(n,k)$. Given $\mathcal{J}(n,k)=\{A_1, A_2, \cdots, A_k\}$ and $A(X) = w_0A_0 + \cdots + w_m A_m$, we show, using classical number theory results, that $X$ has perfect state transfer at time $τ$ if and only if $n=2k$, $m\ge 2^{\lfloor{\log_2(k)} \rfloor}$, and there are integers $c_1, c_2, \cdots, c_m$ such that (i) $c_j$ is odd if and only if $j$ is a power of $2$, and (ii) for $r=1,2,\cdots,m$, \[w_r = \fracπτ \sum_{j=r}^m \frac{c_j}{\binom{2j}{j}} \binom{k-r}{j-r}.\] We then characterize perfect state transfer on unweighted graphs of $\mathcal{J}(n,k)$. In particular, we obtain a simple construction that generates all graphs of $\mathcal{J}(n,k)$ with perfect state transfer at time $π/2$.
Planar Point Sets Determine Many Pairwise Crossing Segments
We show that any set of $n$ points in general position in the plane determines $n^{1-o(1)}$ pairwise crossing segments. The best previously known lower bound, $Ω\left(\sqrt n\right)$, was proved more than 25 years ago by Aronov, Erd\H os, Goddard, Kleitman, Klugerman, Pach, and Schulman. Our proof is fully constructive, and extends to dense geometric graphs.
Determining Finite Connected Graphs Along the Quadratic Embedding Constants of Paths
Published in Electronic Journal of Graph Theory and Applications (EJGTA) Vol. 9 No. 2 (2021), 539 - 560
• View Publication
• BIB
The QE constant of a finite connected graph $G$, denoted by $\mathrm{QEC}(G)$, is by definition the maximum of the quadratic function associated to the distance matrix on a certain sphere of codimension two. We prove that the QE constants of paths $P_n$ form a strictly increasing sequence converging to $-1/2$. Then we formulate the problem of determining all the graphs $G$ satisfying $\mathrm{QEC}(P_n)\le\mathrm{QEC}(G)<\mathrm{QEC}(P_{n+1})$. The answer is given for $n=2$ and $n=3$ by exploiting forbidden subgraphs for $\mathrm{QEC}(G)<-1/2$ and the explicit QE constants of star products of the complete graphs.
The LexCycle on $\overline{P_{2}\cup P_{3}}$-free Cocomparability Graphs
Published in Discrete Mathematics & Theoretical Computer Science, vol. 22 no. 4, Graph Theory (December 28, 2020) dmtcs:5385
• View Publication
• BIB
A graph $G$ is a cocomparability graph if there exists an acyclic transitive orientation of the edges of its complement graph $\overline{G}$. LBFS$^{+}$ is a variant of the generic Lexicographic Breadth First Search (LBFS), which uses a specific tie-breaking mechanism. Starting with some ordering $σ_{0}$ of $G$, let $\{σ_{i}\}_{i\geq 1}$ be the sequence of orderings such that $σ_{i}=$LBFS$^{+}(G, σ_{i-1})$. The LexCycle($G$) is defined as the maximum length of a cycle of vertex orderings of $G$ obtained via such a sequence of LBFS$^{+}$ sweeps. Dusart and Habib conjectured in 2017 that LexCycle($G$)=2 if $G$ is a cocomparability graph and proved it holds for interval graphs. In this paper, we show that LexCycle($G$)=2 if $G$ is a $\overline{P_{2}\cup P_{3}}$-free cocomparability graph, where a $\overline{P_{2}\cup P_{3}}$ is the graph whose complement is the disjoint union of $P_{2}$ and $P_{3}$. As corollaries, it's applicable for diamond-free cocomparability graphs, cocomparability graphs with girth at least 4, as well as interval graphs.
A unified proof of conjectures on cycle lengths in graphs
In this paper, we prove a tight minimum degree condition in general graphs for the existence of paths between two given endpoints, whose lengths form a long arithmetic progression with common difference one or two. This allows us to obtain a number of exact and optimal results on cycle lengths in graphs of given minimum degree, connectivity or chromatic number.
More precisely, we prove the following statements by a unified approach. (1) Every graph $G$ with minimum degree at least $k+1$ contains cycles of all even lengths modulo $k$; in addition, if $G$ is 2-connected and non-bipartite, then it contains cycles of all lengths modulo $k$. (2) For all $k\geq 3$, every $k$-connected graph contains a cycle of length zero modulo $k$. (3) Every 3-connected non-bipartite graph with minimum degree at least $k+1$ contains $k$ cycles of consecutive lengths. (4) Every graph with chromatic number at least $k+2$ contains $k$ cycles of consecutive lengths. The first statement is a conjecture of Thomassen, the second is a conjecture of Dean, the third is a tight answer to a question of Bondy and Vince, and the fourth is a conjecture of Sudakov and Verstraëte. All of the above results are best possible.
The intersection of two vertex coloring problems
A hole is an induced cycle with at least four vertices. A hole is even if its number of vertices is even. Given a set L of graphs, a graph G is L-free if G does not contain any graph in L as an induced subgraph. Currently, the following two problems are unresolved: the complexity of coloring even hole-free graphs, and the complexity of coloring {4K1, C4}-free graphs. The intersection of these two problems is the problem of coloring {4K1, C4, C6}-free graphs. In this paper we present partial results on this problem.