graph
34516 papers tagged with this keyword
An iterative approach for counting reduced ordered binary decision diagrams
For three decades binary decision diagrams, a data structure efficiently representing Boolean functions, have been widely used in many distinct contexts like model verification, machine learning, cryptography and also resolution of combinatorial problems. The most famous variant, called reduced ordered binary decision diagram (ROBDD for short), can be viewed as the result of a compaction procedure on the full decision tree. A useful property is that once an order over the Boolean variables is fixed, each Boolean function is represented by exactly one ROBDD. In this paper we aim at computing the exact distribution of the Boolean functions in $k$ variables according to the ROBDD size}, where the ROBDD size is equal to the number of decision nodes of the underlying directed acyclic graph (DAG for short) structure. Recall the number of Boolean functions with $k$ variables is equal to $2^{2^k}$, which is of double exponential growth with respect to the number of variables. The maximal size of a ROBDD with $k$ variables is $M_k \approx 2^k / k$. Apart from the natural combinatorial explosion observed, another difficulty for computing the distribution according to size is to take into account dependencies within the DAG structure of ROBDDs. In this paper, we develop the first polynomial algorithm to derive the distribution of Boolean functions over $k$ variables with respect to ROBDD size denoted by $n$. The algorithm computes the (enumerative) generating function of ROBDDs with $k$ variables up to size $n$. It performs $O(k n^4)$ arithmetical operations on integers and necessitates storing $O((k+n) n^2)$ integers with bit length $O(n\log n)$. Our new approach relies on a decomposition of ROBDDs layer by layer and on an inclusion-exclusion argument.
Rational Homotopy Type of Complements of Submanifold Arrangements
In this work we provide an explicit cdga that controls the rational homotopy type of the complement $X-\cup_i Z_i$, where $X$ is a smooth compact algebraic variety and $\{Z_i\}$ is a collection of subvarieties such that all set-theoretical intersections are smooth. The model is given in terms of the cohomology of all intersections of $Z_i$'s, and the natural maps induced by the inclusions. Our construction is inspired by the work of J.Morgan, who covered the fundamental case where $\{Z_i\}$ is a divisor with normal crossings, and it is built on developments of the theory of mixed Hodge diagrams by Cirici-Horel. We avoid any explicit reduction to the normal crossings divisor case, e.g. via the wonderful compactification of De Concini-Procesi. As an application of our approach we recover and generalize a few separate results on the complements of arrangements in a uniform manner. These include the Kritz-Totaro model for graph configuration spaces, Yuzvinsky's model for affine subspace arrangements and Dupont's model for complements of hypersurfaces with hyperplane-like intersection.
The minimum ABS index of trees with given number of pendent vertices
The recently developed atom-bond sum-connection (ABS) index is a variation of the well-studied graph-based molecular descriptors connectivity (Randic), atom-bond connectivity, and sum-connectivity indices.We present the minimum ABS index of trees with a given number of pendent vertices in this paper, which provides a solution to the problem proposed by A. Ali, I. Gutman and I. Redzepovic, Atom-Bond Sum-Connectivity Index of Unicyclic Graphs and Some Applications, Electron. J. Math.(2023) 1-7
Minimum Atom-Bond Sum-Connectivity Index of Trees With a Fixed Order and/or Number of Pendent Vertices
Published
• View Publication
• BIB
Let $d_u$ be the degree of a vertex $u$ of a graph $G$. The atom-bond sum-connectivity (ABS) index of a graph $G$ is the sum of the numbers $(1-2(d_v+d_w)^{-1})^{1/2}$ over all edges $vw$ of $G$. This paper gives the characterization of the graph possessing the minimum ABS index in the class of all trees of a fixed number of pendent vertices; the star is the unique extremal graph in the mentioned class of graphs. The problem of determining graphs possessing the minimum ABS index in the class of all trees with $n$ vertices and $p$ pendent vertices is also addressed; such extremal trees have the maximum degree $3$ when $n\ge 3p-2\ge7$, and the balanced double star is the unique such extremal tree for the case $p=n-2$.
$4$-choosability of planar graphs with $4$-cycles far apart via the Combinatorial Nullstellensatz
Published
• View Publication
• BIB
By a well-known theorem of Thomassen and a planar graph depicted by Voigt, we know that every planar graph is $5$-choosable, and the bound is tight. In 1999, Lam, Xu and Liu reduced $5$ to $4$ on $C_4$-free planar graphs. In the paper, by applying the famous Combinatorial Nullstellensatz, we design an effective algorithm to deal with list coloring problems. At the same time, we prove that a planar graph $G$ is $4$-choosable if any two $4$-cycles having distance at least $5$ in $G$, which extends the result of Lam et al.
Detecting Hidden Communities by Power Iterations with Connections to Vanilla Spectral Algorithms
Published
• View Publication
• BIB
Community detection in the stochastic block model is one of the central problems of graph clustering. Since its introduction, many subsequent papers have made great strides in solving and understanding this model. In this setup, spectral algorithms have been one of the most widely used frameworks. However, despite the long history of study, there are still unsolved challenges. One of the main open problems is the design and analysis of "simple"(vanilla) spectral algorithms, especially when the number of communities is large.
In this paper, we provide two algorithms. The first one is based on the power-iteration method. It is a simple algorithm which only compares the rows of the powered adjacency matrix. Our algorithm performs optimally (up to logarithmic factors) compared to the best known bounds in the dense graph regime by Van Vu (Combinatorics Probability and Computing, 2018). Furthermore, our algorithm is also robust to the "small cluster barrier", recovering large clusters in the presence of an arbitrary number of small clusters. Then based on a connection between the powered adjacency matrix and eigenvectors, we provide a vanilla spectral algorithm for large number of communities in the balanced case. This answers an open question by Van Vu (Combinatorics Probability and Computing, 2018) in the balanced case. Our methods also partially solve technical barriers discussed by Abbe, Fan, Wang and Zhong (Annals of Statistics, 2020).
In the technical side, we introduce a random partition method to analyze each entry of a powered random matrix. This method can be viewed as an eigenvector version of Wigner's trace method. Recall that Wigner's trace method links the trace of powered matrix to eigenvalues. Our method links the whole powered matrix to the span of eigenvectors. We expect our method to have more applications in random matrix theory.
Noncommutative Schur functions for posets
Published
• View Publication
• BIB
The machinery of noncommutative Schur functions is a general approach to Schur positivity of symmetric functions initiated by Fomin-Greene. Hwang recently adapted this theory to posets to give a new approach to the Stanley-Stembridge conjecture. We further develop this theory to prove that the symmetric function associated to any $P$-Knuth equivalence graph is Schur positive. This settles a conjecture of Kim and the third author, and refines results of Gasharov, Shareshian-Wachs, and Hwang on the Schur positivity of chromatic symmetric functions.
Directed Steiner path packing and directed path connectivity
For a digraph $D=(V(D), A(D))$, and a set $S\subseteq V(D)$ with $r\in S$ and $|S|\geq 2$, a directed $(S, r)$-Steiner path or, simply, an $(S, r)$-path is a directed path $P$ started at $r$ with $S\subseteq V(P)$. Two $(S, r)$-paths are said to be arc-disjoint if they have no common arc. Two arc-disjoint $(S, r)$-paths are said to be internally disjoint if the set of common vertices of them is exactly $S$. Let $κ^p_{S,r}(D)$ (resp. $λ^p_{S,r}(D)$) be the maximum number of internally disjoint (resp. arc-disjoint) $(S, r)$-paths in $D$. The directed path $k$-connectivity of $D$ is defined as $$κ^p_k(D)= \min \{κ^p_{S,r}(D)\mid S\subseteq V(D), |S|=k, r\in S\}.$$ Similarly, the directed path $k$-arc-connectivity of $D$ is defined as $$λ^p_k(D)= \min \{λ^p_{S,r}(D)\mid S\subseteq V(D), |S|=k, r\in S\}.$$ The directed path $k$-connectivity and directed path $k$-arc-connectivity are also called directed path connectivity which extends the path connectivity on undirected graphs to directed graphs and could be seen as a generalization of classical connectivity of digraphs.
In this paper, we obtain complexity results for $κ^p_{S,r}(D)$ on Eulerian digraphs and symmetric digraphs, and $λ^p_{S,r}(D)$ on general digraphs. We also give bounds for the parameters $κ^p_k(D)$ and $λ^p_k(D)$.
Recent studies on the super edge-magic deficiency of graphs
Published
• View Publication
• BIB
A graph $G$ is called edge-magic if there exists a bijective function $f:V\left(G\right) \cup E\left(G\right)\rightarrow \left\{1, 2, \ldots , \left\vert V\left( G\right) \right\vert +\left\vert E\left( G\right) \right\vert \right\}$ such that $f\left(u\right) + f\left(v\right) + f\left(uv\right)$ is a constant for each $uv\in E\left( G\right) $. Also, $G$ is said to be super edge-magic if $f\left(V \left(G\right)\right) =\left\{1, 2, \ldots , \left\vert V\left( G\right) \right\vert \right\}$. Furthermore, the super edge-magic deficiency $ μ_{s}\left(G\right)$ of a graph $G$ is defined to be either the smallest nonnegative integer $n$ with the property that $G \cup nK_{1}$ is super edge-magic or $+ \infty$ if there exists no such integer $n$. In this paper, we introduce the parameter $l\left(n\right)$ as the minimum size of a graph $G$ of order $n$ for which all graphs of order $n$ and size at least $l\left(n\right)$ have $μ_{s} \left( G \right)=+\infty $, and provide lower and upper bounds for $l\left(G\right)$. Imran, Baig, and Feunovucíková established that for integers $n$ with $n\equiv 0\pmod{4}$, $ μ_{s}\left(D_{n}\right) \leq 3n/2-1$, where $D_{n}$ is the cartesian product of the cycle $C_{n}$ of order $n$ and the complete graph $K_{2}$ of order $2$. We improve this bound by showing that $ μ_{s}\left(D_{n}\right) \leq n+1$ when $n \geq 4$ is even. Enomoto, Lladó, Nakamigawa, and Ringel posed the conjecture that every nontrivial tree is super edge-magic. We propose a new approach to attak this conjecture. This approach may also help to resolve another labeling conjecture on trees by Graham and Sloane.
Solution to a problem of Katona on counting cliques of weighted graphs
Published in Discrete Applied Mathematics 345 (2024), 147-155
• View Publication
• BIB
A subset $I$ of the vertex set $V(G)$ of a graph $G$ is called a $k$-clique independent set of $G$ if no $k$ vertices in $I$ form a $k$-clique of $G$. An independent set is a $2$-clique independent set. Let $π_k(G)$ denote the number of $k$-cliques of $G$. For a function $w: V(G) \rightarrow \{0, 1, 2, \dots\}$, let $G(w)$ be the graph obtained from $G$ by replacing each vertex $v$ by a $w(v)$-clique $K^v$ and making each vertex of $K^u$ adjacent to each vertex of $K^v$ for each edge $\{u,v\}$ of $G$. For an integer $m \geq 1$, consider any $w$ with $\sum_{v \in V(G)} w(v) = m$. For $U \subseteq V(G)$, we say that $w$ is uniform on $U$ if $w(v) = 0$ for each $v \in V(G) \setminus U$ and, for each $u \in U$, $w(u) = \left\lfloor m/|U| \right\rfloor$ or $w(u) = \left\lceil m/|U| \right\rceil$. Katona asked if $π_k(G(w))$ is smallest when $w$ is uniform on a largest $k$-clique independent set of $G$. He placed particular emphasis on the Sperner graph $B_n$, given by $V(B_n) = \{X \colon X \subseteq \{1, \dots, n\}\}$ and $E(B_n) = \{\{X,Y\} \colon X \subsetneq Y \in V(B_n)\}$. He provided an affirmative answer for $k = 2$ (and any $G$). We determine graphs for which the answer is negative for every $k \geq 3$. These include $B_n$ for $n \geq 2$. Generalizing Sperner's Theorem and a recent result of Qian, Engel and Xu, we show that $π_k(B_n(w))$ is smallest when $w$ is uniform on a largest independent set of $B_n$. We also show that the same holds for complete multipartite graphs and chordal graphs. We show that this is not true of every graph, using a deep result of Bohman on triangle-free graphs.
Critical ($P_5$,bull)-free graphs
Given two graphs $H_1$ and $H_2$, a graph is $(H_1,H_2)$-free if it contains no induced subgraph isomorphic to $H_1$ or $H_2$. Let $P_t$ and $C_t$ be the path and the cycle on $t$ vertices, respectively. A bull is the graph obtained from a triangle with two disjoint pendant edges. In this paper, we show that there are finitely many 5-vertex-critical ($P_5$,bull)-free graphs.
Injective split systems
Published
• View Publication
• BIB
A split system $\mathcal S$ on a finite set $X$, $|X|\ge3$, is a set of bipartitions or splits of $X$ which contains all splits of the form $\{x,X-\{x\}\}$, $x \in X$. To any such split system $\mathcal S$ we can associate the Buneman graph $\mathcal B(\mathcal S)$ which is essentially a median graph with leaf-set $X$ that displays the splits in $\mathcal S$. In this paper, we consider properties of injective split systems, that is, split systems $\mathcal S$ with the property that $\mathrm{med}_{\mathcal B(\mathcal S)}(Y) \neq \mathrm{med}_{\mathrm B(\mathcal S)}(Y')$ for any 3-subsets $Y,Y'$ in $X$, where $\mathrm {med}_{\mathcal B(\mathcal S)}(Y)$ denotes the median in $\mathcal B(\mathcal S)$ of the three elements in $Y$ considered as leaves in $\mathcal B(\mathcal S)$. In particular, we show that for any set $X$ there always exists an injective split system on $X$, and we also give a characterization for when a split system is injective. We also consider how complex the Buneman graph $\mathcal B(\mathcal S)$ needs to become in order for a split system $\mathcal S$ on $X$ to be injective. We do this by introducing a quantity for $|X|$ which we call the injective dimension for $|X|$, as well as two related quantities, called the injective 2-split and the rooted-injective dimension. We derive some upper and lower bounds for all three of these dimensions and also prove that some of these bounds are tight. An underlying motivation for studying injective split systems is that they can be used to obtain a natural generalization of symbolic tree maps. An important consequence of our results is that any three-way symbolic map on $X$ can be represented using Buneman graphs.
The minimum number of maximal independent sets in twin-free graphs
Published
• View Publication
• BIB
The problem of determining the maximum number of maximal independent sets in certain graph classes dates back to a paper of Miller and Muller and a question of Erdős and Moser from the 1960s. The minimum was always considered to be less interesting due to simple examples such as stars. In this paper we show that the problem becomes interesting when restricted to twin-free graphs, where no two vertices have the same open neighbourhood. We consider the question for arbitrary graphs, bipartite graphs and trees. The minimum number of maximal independent sets turns out to be logarithmic in the number of vertices for arbitrary graphs, linear for bipartite graphs and exponential for trees. In the latter case, the minimum and the extremal graphs have been determined earlier by Taletskiĭ and Malyshev, but we present a shorter proof.
New Eigenvalue Bound for the Fractional Chromatic Number
Published in J. Graph Theory 106 (2024) 167-181
• View Publication
• BIB
Given a graph $G$, we let $s^+(G)$ denote the sum of the squares of the positive eigenvalues of the adjacency matrix of $G$, and we similarly define $s^-(G)$. We prove that
\[χ_f(G)\ge 1+\max\left\{\frac{s^+(G)}{s^-(G)},\frac{s^-(G)}{s^+(G)}\right\}\] and thus strengthen a result of Ando and Lin, who showed the same lower bound for the chromatic number $χ(G)$.
We in fact show a stronger result wherein we give a bound using the eigenvalues of $G$ and $H$ whenever $G$ has a homomorphism to an edge-transitive graph $H$. Our proof utilizes ideas motivated by association schemes.
Lattices, Garside structures and weakly modular graphs
Published
• View Publication
• BIB
In this article we study combinatorial non-positive curvature aspects of various simplicial complexes with natural $\widetilde A_n$ shaped simplicies, including Euclidean buildings of type $\widetilde A_n$ and Cayley graphs of Garside groups and their quotients by the Garside elements. All these examples fit into the more general setting of lattices with order-increasing $\mathbb Z$-actions and the associated lattice quotients proposed in a previous work by the first named author. We show that both the lattice quotients and the lattices themselves give rise to weakly modular graphs, which is a form of combinatorial non-positive curvature. We also show that several other complexes fit into this setting of lattices/lattice quotients, hence our result applies, including Artin complexes of Artin-Tits groups of type $\widetilde A_n$, a class of arc complexes and weak Garside groups arising from a categorical Garside structure in the sense of Bessis. Along the way, we also clarify the relationship between categorical Garside structure, lattices with $\mathbb Z$ action and different classes of complexes studied this article. We use this point of view to describe the first examples of Garside groups with exotic properties, like non-linearity or rigidity results.
On Turán problems with bounded matching number
Published
• View Publication
• BIB
Very recently, Alon and Frankl initiated the study of the maximum number of edges in $n$-vertex $F$-free graphs with matching number at most $s$. For fixed $F$ and $s$, we determine this number apart from a constant additive term. We also obtain several exact results.
Rainbow cycles in properly edge-colored graphs
Published
• View Publication
• BIB
We prove that every properly edge-colored $n$-vertex graph with average degree at least $100(\log n)^2$ contains a rainbow cycle, improving upon $(\log n)^{2+o(1)}$ bound due to Tomon. We also prove that every properly colored $n$-vertex graph with at least $10^5 k^2 n^{1+1/k}$ edges contains a rainbow $2k$-cycle, which improves the previous bound $2^{ck^2}n^{1+1/k}$ obtained by Janzer.
Our method using homomorphism inequalities and a lopsided regularization lemma also provides a simple way to prove the Erdős--Simonovits supersaturation theorem for even cycles, which may be of independent interest.
Pair crossing number, cutwidth, and good drawings on arbitrary point sets
Published
• View Publication
• BIB
Determining whether there exists a graph such that its crossing number and pair crossing number are distinct is an important open problem in geometric graph theory. We show that $\textit{cr}(G)=O(\mathop{\mathrm{pcr}}(G)^{3/2})$ for every graph $G$, this improves the previous best bound by a logarithmic factor. Answering a question of Pach and Tóth, we prove that the bisection width (and, in fact, the cutwidth as well) of a graph $G$ with degree sequence $d_1,d_2,\dots,d_n$ satisfies $\mathop{\mathrm{bw}}(G)=O\big(\sqrt{\mathop{\mathrm{pcr}}(G)+\sum_{k=1}^n d_k^2}\big)$. Then we show that there is a constant $C\geq 1$ such that the following holds: For any graph $G$ of order $n$ and any set $S$ of at least $n^C$ points in general position on the plane, $G$ admits a straight-line drawing which maps the vertices to points of $S$ and has no more than $O\left(\log n\cdot\left(\mathop{\mathrm{pcr}}(G)+\sum_{k=1}^n d_k^2\right)\right)$ crossings. Our proofs rely on a modified version of a separator theorem for string graphs by Lee, which might be of independent interest.
Graphs with second largest eigenvalue less than $1/2$
Published
• View Publication
• BIB
We characterize the simple connected graphs with the second largest eigenvalue less than 1/2, which consists of 13 classes of specific graphs. These 13 classes hint that $c_{2}\in [1/2, \sqrt{2+\sqrt{5}}]$, where $c_2$ is the minimum real number $c$ for which every real number greater than $c$ is a limit point in the set of the second largest eigenvalues of the simple connected graphs. We leave it as a problem.
On Fork-free T-perfect Graphs
In an attempt to understanding the complexity of the independent set problem, Chv{á}tal defined t-perfect graphs. While a full characterization of this class is still at large, progress has been achieved for claw-free graphs [Bruhn and Stein, Math.\ Program.\ 2012] and $P_{5}$-free graphs [Bruhn and Fuchs, SIAM J.\ Discrete Math.\ 2017]. We take one more step to characterize fork-free t-perfect graphs, and show that they are strongly t-perfect and three-colorable. We also present polynomial-time algorithms for recognizing and coloring these graphs.