graph
34828 papers tagged with this keyword
A tale of stars and cliques
Published in Journal of Combinatorial Theory, Series A 160 (2018), 111-135
• View Publication
• BIB
We show that for an infinitely many natural numbers $k$ there are $k$-uniform hypergraphs which admit a `rescaling phenomenon' as described in [9]. More precisely, let $\mathcal{A}(k,I, n)$ denote the class of $k$-graphs on $n$ vertices in which the sizes of all pairwise intersections of edges belong to a set $I$. We show that if $k=rt^2$ for some $r\ge 1$ and $t\ge 2$, and~$I$ is chosen in some special way, the densest graphs in $\mathcal{A}(rt^2,I, n)$ are either dominated by stars of large degree, or basically, they are `$t$-thick' $rt^2$-graphs in which vertices are partitioned into groups of $t$ vertices each and every edge is a union of $tr$ such groups. It is easy to see that, unlike in stars, the maximum degree of $t$-thick graphs is of a lower order than the number of its edges. Thus, if we study the graphs from $\mathcal{A}(rt^2,I, n)$ with a prescribed number of edges $m$ which minimize the maximum degree, around the value of $m$ which is the number of edges of the largest $t$-thick graph, a rapid, discontinuous phase transition can be observed. Interestingly, these two types of $k$-graphs determine the structure of all hypergraphs in $\mathcal{A}(rt^2,I, n)$. Namely, we show that each such hypergraph can be decomposed into a $t$-thick graph $H_T$, a special collection $H_S$ of stars, and a sparse `left-over' graph $H_R$.
Signed graphs and the freeness of the Weyl subarrangements of type $B_{\ell}$
Published
• View Publication
• BIB
A Weyl arrangement is the hyperplane arrangement defined by a root system. Arnold and Saito proved that every Weyl arrangement is free. The Weyl subarrangements of type $A_{\ell}$ are represented by simple graphs. Stanley gave a characterization of freeness for this type of arrangements in terms of thier graph. In addition, The Weyl subarrangements of type $B_{\ell}$ can be represented by signed graphs. A characterization of freeness for them is not known. However, characterizations of freeness for a few restricted classes are known. For instance, Edelman and Reiner characterized the freeness of the arrangements between type $ A_{\ell-1} $ and type $ B_{\ell} $. In this paper, we give a characterization of the freeness and supersolvability of the Weyl subarrangements of type $B_{\ell}$ under certain assumption.
Higher-order congruence relations on affine moment graphs: The subgeneric case
Published in Journal of Algebra 537 (2019) pp. 1-25
• View Publication
• BIB
We study the structure algebra $\mathcal{Z}$ of the stable moment graph for the case of the affine root system $A_{1}$. The structure algebra $\mathcal{Z}$ is an algebra over a symmetric algebra and in particular, it is a module over a symmetric algebra. We study this module structure on $\mathcal{Z}$ and we construct a basis. By "setting $c$ equal to zero" in $\mathcal{Z}$, we obtain the module $\mathcal{Z}_{c=0}$. This module can be described in terms of the finite root system $A_{1}$ and we show that it is determined by a set of certain divisibility relations. These relations can be regarded as a generalization of ordinary moment graph relations that define sections of sheaves on moment graphs, and because of this we call them higher-order congruence relations.
On a Construction of Integrally Invertible Graphs and their Spectral Properties
Published in Linear Algebra and its Applications, 532 (2017), 512-533
• View Publication
• BIB
Godsil (1985) defined a graph to be invertible if it has a non-singular adjacency matrix whose inverse is diagonally similar to a nonnegative integral matrix; the graph defined by the last matrix is then the inverse of the original graph. In this paper we call such graphs positively invertible and introduce a new concept of a negatively invertible graph by replacing the adjective `nonnegative' by `nonpositive in Godsil's definition; the graph defined by the negative of the resulting matrix is then the negative inverse of the original graph. We propose new constructions of integrally invertible graphs (those with non-singular adjacency matrix whose inverse is integral) based on an operation of `bridging' a pair of integrally invertible graphs over subsets of their vertices, with sufficient conditions for their positive and negative invertibility. We also analyze spectral properties of graphs arising from bridging and derive lower bounds for their least positive eigenvalue. As an illustration we present a census of graphs with a unique 1-factor on $m\le 6$ vertices and determine their positive and negative invertibility.
Firefighting on trees and Cayley graphs
We study Hartnell's firefighter problem on infinite trees and characterise the branching number in terms of the firefighting game. Using our results about trees, we give a partial answer to a question of Martínez-Pedroza concerning firefighting on Cayley graphs.
Exponential random graphs behave like mixtures of stochastic block models
Published
• View Publication
• BIB
We study the behavior of exponential random graphs in both the sparse and the dense regime. We show that exponential random graphs are approximate mixtures of graphs with independent edges whose probability matrices are critical points of an associated functional, thereby satisfying a certain matrix equation. In the dense regime, every solution to this equation is close to a block matrix, concluding that the exponential random graph behaves roughly like a mixture of stochastic block models. We also show existence and uniqueness of solutions to this equation for several families of exponential random graphs, including the case where the subgraphs are counted with positive weights and the case where all weights are small in absolute value. In particular, this generalizes some of the results in a paper by Chatterjee and Diaconis from the dense regime to the sparse regime and strengthens their bounds from the cut-metric to the one-metric.
The Weisfeiler-Leman algorithm and the diameter of Schreier graphs
Published in Groups Geom. Dyn., 13(4):1235--1253, 2019
• View Publication
• BIB
We prove that the number of iterations taken by the Weisfeiler-Leman algorithm for configurations coming from Schreier graphs is closely linked to the diameter of the graphs themselves: an upper bound is found for general Schreier graphs, and a lower bound holds for particular cases, such as for Schreier graphs with $G=\mbox{SL}_{n}({\mathbb F}_{q})$ ($q>2$) acting on $k$-tuples of vectors in ${\mathbb F}_{q}^{n}$; moreover, an exact expression is found in the case of Cayley graphs.
A Turán theorem for extensions via an Erdős-Ko-Rado theorem for Lagrangians
Published
• View Publication
• BIB
The extension of an $r$-uniform hypergraph $G$ is obtained from it by adding for every pair of vertices of $G$, which is not covered by an edge in $G$, an extra edge containing this pair and $(r-2)$ new vertices. In this paper we determine the Turán number of the extension of an $r$-graph consisting of two vertex-disjoint edges, settling a conjecture of Hefetz and Keevash, who previously determined this Turán number for $r=3$. As the key ingredient of the proof we show that the Lagrangian of intersecting $r$-graphs is maximized by principally intersecting $r$-graphs for $r \geq 4$.
Domination and 2-degree-packing numbers in graphs
A dominating set of a graph $G$ is a set $D\subseteq V(G)$ such that \-every vertex of $G$ is either in $D$ or is adjacent to a vertex in $D$. The domination number of $G$, $γ(G)$, is the minimum order of a dominating set. A subset $R$ of edges of a graph $G$ is a 2-degree-packing, if any three edges from $R$ do not have the same incident vertex. The 2-degree-packing number of $G$, $ν_2(G)$, is the maximum order of a 2-degree-packing of $G$.
In this paper, we prove that any simple graph $G$ satisfies $γ(G)\leqν_2(G)-1$. Furthermore, we give a characterization of simple connected graphs $G$ satisfying $γ(G)=ν_2(G)-1$.
Odd length: odd diagrams and descent classes
Published
• View Publication
• BIB
We define and study odd analogues of classical geometric and combinatorial objects associated to permutations, namely odd Schubert varieties, odd diagrams, and odd inversion sets. We show that there is a bijection between odd inversion sets of permutations and acyclic orientations of the Turán graph, that the dimension of the odd Schubert variety associated to a permutation is the odd length of the permutation, and give several necessary conditions for a subset of $[n] \times [n]$ to be the odd diagram of a permutation. We also study the sign-twisted generating function of the odd length over descent classes of the symmetric groups.
Connectivity keeping stars or double-stars in 2-connected graphs
Published
• View Publication
• BIB
In [W. Mader, Connectivity keeping paths in $k$-connected graphs, J. Graph Theory 65 (2010) 61-69.], Mader conjectured that for every positive integer $k$ and every finite tree $T$ with order $m$, every $k$-connected, finite graph $G$ with $δ(G)\geq \lfloor\frac{3}{2}k\rfloor+m-1$ contains a subtree $T'$ isomorphic to $T$ such that $G-V(T')$ is $k$-connected. In the same paper, Mader proved that the conjecture is true when $T$ is a path. Diwan and Tholiya [A.A. Diwan, N.P. Tholiya, Non-separating trees in connected graphs, Discrete Math. 309 (2009) 5235-5237.] verified the conjecture when $k=1$. In this paper, we will prove that Mader's conjecture is true when $T$ is a star or double-star and $k=2$.
Efficient Generation of One-Factorizations through Hill Climbing
It is well known that for every even integer $n$, the complete graph $K_{n}$ has a one-factorization, namely a proper edge coloring with $n-1$ colors. Unfortunately, not much is known about the possible structure of large one-factorizations. Also, at present we have only woefully few explicit constructions of one-factorizations. Specifically, we know essentially nothing about the {\em typical} properties of one-factorizations for large $n$.
Suppose that $\cal C_{\rm n}$ is a graph whose vertex set includes the set of all order-$n$ one-factorizations and that $Ψ: V(\cal C_{\rm n})\to \mathbb R$ takes its minimum precisely at the one-factorizations. Given $\cal C_{\rm n}$ and $Ψ$, we can generate one-factorizations via hill climbing. Namely, by taking a walk on $\cal C_{\rm n}$ that tends to go from a vertex to a neighbor of smaller $Ψ$. For over 30 years, hill-climbing has been essentially the only method for generating many large one-factorizations. However, the validity of such methods was supported so far only by numerical evidence. Here, we present for the first time hill-climbing algorithms that provably generate an order-$n$ one-factorization in $\text{polynomial}(n)$ steps regardless of the starting state, while all vertex degrees in the underlying graph are appropriately bounded.
We also raise many questions and conjectures regarding hill-climbing methods and concerning the possible and typical structure of one-factorizations.
A heuristic algorithm for the Bin Packing Problem with Conflicts on Interval Graphs
In this paper we deal with the Bin Packing Problem with Conflicts on interval graphs: given an interval graph, a nonnegative integer weight for each vertex, and a nonnegative integer B, find a partition of the vertex set of the graph into k subsets such that the sum of the weights of the vertices assigned to same subset is less than or equal to B, two vertices connected by an edge do not belong to the same subset, and k is minimum. We design a heuristic algorithm, and propose a new random interval graph generator which builds interval conflict graphs with desired edge density. We test the algorithm on a huge test bed, and compare the results with existing algorithms.
Cut Tree Structures with Applications on Contraction-Based Sparsification
We introduce three new cut tree structures of graphs $G$ in which the vertex set of the tree is a partition of $V(G)$ and contractions of tree vertices satisfy sparsification requirements that preserve various types of cuts. Recently, Kawarabayashi and Thorup \cite{Kawarabayashi2015a} presented the first deterministic near-linear edge-connectivity recognition algorithm. A crucial step in this algorithm uses the existence of vertex subsets of a simple graph $G$ whose contractions leave a graph with $\tilde{O}(n/δ)$ vertices and $\tilde{O}(n)$ edges ($n := |V(G)|$) such that all non-trivial min-cuts of $G$ are preserved. We improve this result by eliminating the poly-logarithmic factors, that is, we show a contraction-based sparsification that leaves $O(n/δ)$ vertices and $O(n)$ edges and preserves all non-trivial min-cuts. We complement this result by giving a sparsification that leaves $O(n/δ)$ vertices and $O(n)$ edges such that all (possibly not minimum) cuts of size less than $δ$ are preserved, by using contractions in a second tree structure. As consequence, we have that every simple graph has $O(n/δ)$ $δ$-edge-connected components, and, if it is connected, it has $O((n/δ)^2)$ non-trivial min-cuts. All these results are proven to be asymptotically optimal.
By using a third tree structure, we give a new lower bound on the number of \emph{pendant pairs}. The previous best bound was given 1974 by Mader, who showed that every simple graph contains $Ω(δ^2)$ pendant pairs. We improve this result by showing that every simple graph $G$ with $δ\geq 5$ or $λ\geq 4$ or $κ\geq 3$ contains $Ω(δn)$ pendant pairs. We prove that this bound is asymptotically tight from several perspectives, and that $Ω(δn)$ pendant pairs can be computed efficiently.
On the Extremal Graphs with Respect to Bond Incident Degree Indices
Published in Discrete Appl. Math. 238, (2018) 32-40
• View Publication
• BIB
Many existing degree based topological indices can be classified as bond incident degree (BID) indices, whose general form is $BID(G)=\sum_{uv\in E(G)}$ $Ψ(d_{u},d_{v})$, where $uv$ is the edge connecting the vertices $u,v$ of the graph $G$, $E(G)$ is the edge set of $G$, $d_{u}$ is the degree of the vertex $u$ and $Ψ$ is a non-negative real valued (symmetric) function of $d_{u}$ and $d_{v}$. Here, it has been proven that if the extension of $Ψ$ to the interval $[0,\infty)$ satisfies certain conditions then the extremal $(n,m)$-graph with respect to the BID index (corresponding to $Ψ$) must contain at least one vertex of degree $n-1$. It has been shown that these conditions are satisfied for the general sum-connectivity index (whose special cases are: the first Zagreb index and the Hyper Zagreb index), for the general Platt index (whose special cases are: the first reformulated Zagreb index and the Platt index) and for the variable sum exdeg index. Applying aforementioned result, graphs with maximum values of the aforementioned BID indices among tree, unicyclic, bicyclic, tricyclic and tetracyclic graphs were characterized. Some of these results are new and the already existing results are proven in a shorter and more unified way.
Colouring games based on autotopisms of Latin hyper-rectangles
Published in Quaestiones Mathematicae 42:7 (2019) 953-975
• View Publication
• BIB
Every partial colouring of a Hamming graph is uniquely related to a partial Latin hyper-rectangle. In this paper we introduce the $Θ$-stabilized $(a,b)$-colouring game for Hamming graphs, a variant of the $(a,b)$-colouring game so that each move must respect a given autotopism $Θ$ of the resulting partial Latin hyper-rectangle. We examine the complexity of this variant by means of its chromatic number. We focus in particular on the bi-dimensional case, for which the game is played on the Cartesian product of two complete graphs, and also on the hypercube case.
Shrub-depth: Capturing Height of Dense Graphs
Published in Logical Methods in Computer Science, Volume 15, Issue 1 (January 31, 2019) lmcs:3798
• View Publication
• BIB
The recent increase of interest in the graph invariant called tree-depth and in its applications in algorithms and logic on graphs led to a natural question: is there an analogously useful "depth" notion also for dense graphs (say; one which is stable under graph complementation)? To this end, in a 2012 conference paper, a new notion of shrub-depth has been introduced, such that it is related to the established notion of clique-width in a similar way as tree-depth is related to tree-width. Since then shrub-depth has been successfully used in several research papers. Here we provide an in-depth review of the definition and basic properties of shrub-depth, and we focus on its logical aspects which turned out to be most useful. In particular, we use shrub-depth to give a characterization of the lower $ω$ levels of the MSO1 transduction hierarchy of simple graphs.
On the $p'$-subgraph of the Young graph
Published
• View Publication
• BIB
Let $p$ be a prime number. In this article we study the restriction to $\mathfrak{S}_{n-1}$ of irreducible characters of degree coprime to $p$ of $\mathfrak{S}_n$. In particular, we study the combinatorial properties of the subgraph $\mathbb{Y}_{p'}$ of the Young graph $\mathbb{Y}$. This is an extension to odd primes of the work done by Ayyer, Prasad and Spallone for $p=2$.
Notes on Growing a Tree in a Graph
Published
• View Publication
• BIB
We study the height of a spanning tree $T$ of a graph $G$ obtained by starting with a single vertex of $G$ and repeatedly selecting, uniformly at random, an edge of $G$ with exactly one endpoint in $T$ and adding this edge to $T$.
Plane Graphs are Facially-non-repetitively $10^{4 \cdot10^7}$-Choosable
Published
• View Publication
• BIB
A sequence $\left(x_1,x_2,\ldots,x_{2n}\right)$ of even length is a repetition if $\left(x_1,\ldots,x_n\right) = \left(x_{n+1},\ldots,x_{2n}\right)$. We prove existence of a constant $C < 10^{4 \cdot 10^7}$ such that given any planar drawing of a graph $G$, and a list $L(v)$ of $C$ permissible colors for each vertex $v$ in $G$, there is a choice of a permissible color for each vertex such that the sequence of colors of the vertices on any facial simple path in $G$ is not a repetition.