graph
35299 papers tagged with this keyword
Cohen-Macaulay Weighted Oriented Chordal and Simplicial Graphs
Published
• View Publication
• BIB
Herzog, Hibi, and Zheng classified the Cohen-Macaulay edge ideals of chordal graphs. In this paper, we classify Cohen-Macaulay edge ideals of (vertex) weighted oriented chordal and simplicial graphs, a more general class of monomial ideals. In particular, we show that the Cohen-Macaulay property of these ideals is equivalent to the unmixed one and hence, independent of the underlying field.
Polynomial-Delay Enumeration of Large Maximal Common Independent Sets in Two Matroids and Beyond
Published
• View Publication
• BIB
Finding a maximum cardinality common independent set in two matroids (also known as \textsc{Matroid Intersection}) is a classical combinatorial optimization problem, which generalizes several well-known problems, such as finding a maximum bipartite matching, a maximum colorful forest, and an arborescence in directed graphs. Enumerating all maximal common independent sets in two (or more) matroids is a classical enumeration problem. In this paper, we address an ``intersection'' of these problems: Given two matroids and a threshold $τ$, the goal is to enumerate all maximal common independent sets in the matroids with cardinality at least $τ$. We show that this problem can be solved in polynomial delay and polynomial space. Moreover, our technique can be extended to a more general problem, which is relevant to Matroid Matching. We give a polynomial-delay and polynomial-space algorithm for enumerating all maximal ``matchings'' with cardinality at least $τ$, assuming that the optimization counterpart is ``tractable'' in a certain sense. This extension allows us to enumerate small minimal connected vertex covers in subcubic graphs. We also discuss a framework to convert enumeration with cardinality constraints into ranked enumeration.
Maximal diameter of integral circulant graphs
Integral circulant graphs are proposed as models for quantum spin networks that permit a quantum phenomenon called perfect state transfer. Specifically, it is important to know how far information can potentially be transferred between nodes of the quantum networks modelled by integral circulant graphs and this task is related to calculating the maximal diameter of a graph. The integral circulant graph $ICG_n (D)$ has the vertex set $Z_n = \{0, 1, 2, \ldots, n - 1\}$ and vertices $a$ and $b$ are adjacent if $\gcd(a-b,n)\in D$, where $D \subseteq \{d : d \mid n,\ 1\leq d<n\}$. Motivated by the result on the upper bound of the diameter of $ICG_n(D)$ given in [N. Saxena, S. Severini, I. Shparlinski, \textit{Parameters of integral circulant graphs and periodic quantum dynamics}, International Journal of Quantum Information 5 (2007), 417--430], according to which $2|D|+1$ represents one such bound, in this paper we prove that the maximal value of the diameter of the integral circulant graph $ICG_n(D)$ of a given order $n$ with its prime factorization $p_1^{α_1}\cdots p_k^{α_k}$, is equal to $r(n)$ or $r(n)+1$, where $r(n)=k + |\{ i \ | α_i> 1,\ 1\leq i\leq k \}|$, depending on whether $n\not\in 4N+2$ or not, respectively. Furthermore, we show that, for a given order $n$, a divisor set $D$ with $|D|\leq k$ can always be found such that this bound is attained. Finally, we calculate the maximal diameter in the class of integral circulant graphs of a given order $n$ and cardinality of the divisor set $t\leq k$ and characterize all extremal graphs. We actually show that the maximal diameter can have the values $2t$, $2t+1$, $r(n)$ and $r(n)+1$ depending on the values of $t$ and $n$. This way we further improve the upper bound of Saxena, Severini and Shparlinski and we also characterize all graphs whose diameters are equal to $2|D|+1$, thus generalizing a result in that paper.
Minimum Target Sets in Non-Progressive Threshold Models: When Timing Matters
Published
• View Publication
• BIB
Let $G$ be a graph, which represents a social network, and suppose each node $v$ has a threshold value $τ(v)$. Consider an initial configuration, where each node is either positive or negative. In each discrete time step, a node $v$ becomes/remains positive if at least $τ(v)$ of its neighbors are positive and negative otherwise. A node set $\mathcal{S}$ is a Target Set (TS) whenever the following holds: if $\mathcal{S}$ is fully positive initially, all nodes in the graph become positive eventually. We focus on a generalization of TS, called Timed TS (TTS), where it is permitted to assign a positive state to a node at any step of the process, rather than just at the beginning.
We provide graph structures for which the minimum TTS is significantly smaller than the minimum TS, indicating that timing is an essential aspect of successful target selection strategies. Furthermore, we prove tight bounds on the minimum size of a TTS in terms of the number of nodes and maximum degree when the thresholds are assigned based on the majority rule.
We show that the problem of determining the minimum size of a TTS is NP-hard and provide an Integer Linear Programming formulation and a greedy algorithm. We evaluate the performance of our algorithm by conducting experiments on various synthetic and real-world networks. We also present a linear-time exact algorithm for trees.
Universal adjacency spectrum of (proper) power graphs and their complements on some groups
The power graph $\mathscr{P}(G)$ of a group $G$ is an undirected graph with all the elements of $G$ as vertices and where any two vertices $u$ and $v$ are adjacent if and only if $u=v^m $ or $v=u^m$, $ m \in$ $\mathbb{Z}$. For a simple graph $H$ with adjacency matrix $A(H)$ and degree diagonal matrix $D(H)$, the universal adjacency matrix is $U(H)= αA(H)+βD(H)+ γI +ηJ$, where $α(\neq 0), β, γ, η\in \mathbb{R}$, $I$ is the identity matrix and $J$ is the all-ones matrix of suitable order. One can study many graph-associated matrices, such as adjacency, Laplacian, signless Laplacian, Seidel etc. in a unified manner through the universal adjacency matrix of a graph. Here we study universal adjacency eigenvalues and eigenvectors of power graphs, proper power graphs and their complements on the group $\mathbb{Z}_n$, dihedral group ${D}_n$, and the generalized quaternion group ${Q}_n$. Spectral results of no kind for the complement of power graph on any group were obtained before. We determine the full spectrum in some particular cases. Moreover, several existing results can be obtained as very specific cases of some results of the paper.
Combinatorics of Castelnuovo-Mumford Regularity of Binomial Edge Ideals
Published
• View Publication
• BIB
Since the introduction of binomial edge ideals $J_{G}$ by Herzog et al. and independently Ohtani, there has been significant interest in relating algebraic invariants of the binomial edge ideal with combinatorial invariants of the underlying graph $G$. Here, we take up a question considered by Herzog and Rinaldo regarding Castelnuovo--Mumford regularity of block graphs. To this end, we introduce a new invariant $ν(G)$ associated to any simple graph $G$, defined as the maximal total length of a certain collection of induced paths within $G$ subject to conditions on the induced subgraph. We prove that for any graph $G$, $ν(G) \leq \text{reg}(J_{G})-1$, and that the length of a longest induced path of $G$ is less than or equal to $ν(G)$; this refines an inequality of Matsuda and Murai. We then investigate the question: when is $ν(G) = \text{reg}(J_{G})-1$? We prove that equality holds when $G$ is closed; this gives a new characterization of a result of Ene and Zarojanu, and when $G$ is bipartite and $J_{G}$ is Cohen-Macaulay; this gives a new characterization of a result of Jayanathan and Kumar. For a block graph $G$, we prove that $ν(G)$ admits a combinatorial characterization independent of any auxiliary choices, and we prove that $ν(G) = \text{reg}(J_{G})-1$. This gives $\text{reg}(J_{G})$ a combinatorial interpretation for block graphs, and thus answers the question of Herzog and Rinaldo.
Patrolling Grids with a Bit of Memory
Published
• View Publication
• BIB
This work addresses the challenge of patrolling regular grid graphs of any dimension using a single mobile agent with minimal memory and limited sensing range. We show that it is impossible to patrol some grid graphs with $0$ bits of memory, regardless of sensing range, and give an exact characterization of those grid graphs that can be patrolled with $0$ bits of memory and sensing range $V$. On the other hand, we show that an algorithm exists using $1$ bit of memory and $V=1$ that patrols any $d$-dimensional grid graph. This result is surprising given that the agent must be able to move in $2d$ distinct directions to patrol, while $1$ bit of memory allows specifying only two directions per sensory input. Our $1$-bit patrolling algorithm handles this by carefully exploiting a small state-space to access all the needed directions while avoiding getting stuck. Overall, our results give concrete evidence that extremely little memory is needed for patrolling highly regular environments like grid graphs compared to arbitrary graphs. The techniques we use, such as partitioning the environment into sensing regions and exploiting distinct coordinates resulting from higher-dimensionality, may be applicable to analyzing the space complexity of patrolling in other types of regular environments as well.
MaxCut in graphs with sparse neighborhoods
Published
• View Publication
• BIB
Let $G$ be a graph with $m$ edges and let $\mathrm{mc}(G)$ denote the size of a largest cut of $G$. The difference $\mathrm{mc}(G)-m/2$ is called the surplus $\mathrm{sp}(G)$ of $G$. A fundamental problem in MaxCut is to determine $\mathrm{sp}(G)$ for $G$ without specific structure, and the degree sequence $d_1,\ldots,d_n$ of $G$ plays a key role in getting lower bounds of $\mathrm{sp}(G)$. A classical example, given by Shearer, is that $\mathrm{sp}(G)=Ω(\sum_{i=1}^n\sqrt d_i)$ for triangle-free graphs $G$, implying that $\mathrm{sp}(G)=Ω(m^{3/4})$. It was extended to graphs with sparse neighborhoods by Alon, Krivelevich and Sudakov. In this paper, we establish a novel and stronger result for a more general family of graphs with sparse neighborhoods.
Our result can derive many well-known bounds on surplus of $H$-free graphs for different $H$, such as triangles, even cycles, graphs having a vertex whose removal makes them acyclic, or complete bipartite graphs $K_{s,t}$ with $s\in \{2,3\}$. It can also deduce many new (tight) bounds on $\mathrm{sp}(G)$ in $H$-free graphs $G$ when $H$ is any graph having a vertex whose removal results in a bipartite graph with relatively small Turán number, especially the even wheel. This contributes to a conjecture raised by Alon, Krivelevich and Sudakov. Moreover, we obtain new families of graphs $H$ such that $\mathrm{sp}(G)=Ω(m^{3/4+ε(H)})$ for some constant $ε(H)>0$ in $H$-free graphs $G$, giving evidences to a conjecture suggested by Alon, Bollobás, Krivelevich and Sudakov.
$\mathcal{P}$-matchings Parameterized by Treewidth
Published
• View Publication
• BIB
A \emph{matching} is a subset of edges in a graph $G$ that do not share an endpoint. A matching $M$ is a \emph{$\mathcal{P}$-matching} if the subgraph of $G$ induced by the endpoints of the edges of $M$ satisfies property $\mathcal{P}$. For example, if the property $\mathcal{P}$ is that of being a matching, being acyclic, or being disconnected, then we obtain an \emph{induced matching}, an \emph{acyclic matching}, and a \emph{disconnected matching}, respectively. In this paper, we analyze the problems of the computation of these matchings from the viewpoint of Parameterized Complexity with respect to the parameter \emph{treewidth}.
Some results on extremal spectral radius of hypergraph
For a $hypergraph$ $\mathcal{G}=(V, E)$ with a nonempty vertex set $V=V(\mathcal{G})$ and an edge set $E=E(\mathcal{G})$, its $adjacency$ $matrix$ $\mathcal {A}_{\mathcal{G}}=[(\mathcal {A}_{\mathcal{G}})_{ij}]$ is defined as $(\mathcal {A}_{\mathcal{G}})_{ij}=\sum_{e\in E_{ij}}\frac{1}{|e| - 1}$, where $E_{ij} = \{e\in E\, |\, i, j \in e\}$. The $spectral$ $radius$ of a hypergraph $\mathcal{G}$, denoted by $ρ(\mathcal {G})$, is the maximum modulus among all eigenvalues of $\mathcal {A}_{\mathcal{G}}$. In this paper, we get a formula about the spectral radius which link the ordinary graph and the hypergraph, and represent some results on the spectral radius changing under some graphic structural perturbations. Among all $k$-uniform ($k\geq 3$) unicyclic hypergraphs with fixed number of vertices, the hypergraphs with the minimum, the second the minimum spectral radius are completely determined, respectively; among all $k$-uniform ($k\geq 3$) unicyclic hypergraphs with fixed number of vertices and fixed girth, the hypergraphs with the maximum spectral radius are completely determined; among all $k$-uniform ($k\geq 3$) $octopuslike$ hypergraphs with fixed number of vertices, the hypergraphs with the minimum spectral radius are completely determined. As well, for $k$-uniform ($k\geq 3$) $lollipop$ hypergraphs, we get that the spectral radius decreases with the girth increasing.
Algorithms and hardness for Metric Dimension on digraphs
Published
• View Publication
• BIB
In the Metric Dimension problem, one asks for a minimum-size set $R$ of vertices such that for any pair of vertices of the graph, there is a vertex from $R$ whose two distances to the vertices of the pair are distinct. This problem has mainly been studied on undirected graphs and has gained a lot of attention in the recent years. We focus on directed graphs, and show how to solve the problem in linear time on digraphs whose underlying undirected graph (ignoring multiple edges) is a tree. This (non-trivially) extends a previous algorithm for oriented trees. We then extend the method to orientations of unicyclic graphs. We also give a fixed-parameter-tractable algorithm for digraphs when parameterized by the directed modular-width, extending a known result for undirected graphs. Finally, we show that Metric Dimension is NP-hard even on planar triangle-free acyclic digraphs of maximum degree 6.
Local central limit theorem for triangle counts in sparse random graphs
Published
• View Publication
• BIB
Let $X_H$ be the number of copies of a fixed graph $H$ in $G(n,p)$. In 2016, Gilmer and Kopparty conjectured that a local central limit theorem should hold for $X_H$ as long as $H$ is connected, $p\gg n^{-1/m(H)}$ and $n^2(1-p)\gg 1$, where $m(H)$ denotes the $m$-density of $H$. Recently, Sah and Sawhney showed that the Gilmer--Kopparty conjecture holds for constant $p$. In this paper, we show that the Gilmer--Kopparty conjecture holds for triangle counts in the sparse range. More precisely, if $p \in (4n^{-1/2}, 1/2)$, then $$\sup_{x\in \mathcal{L}}\left| \dfrac{1}{\sqrt{2π}}e^{-x^2/2}-σ\cdot \mathbb{P}(X^* = x)\right|=n^{-1/2+o(1)}p^{1/2},$$ where $σ^2 = \mathbb{V}\text{ar}(X_{K_3})$, $X^{*}=(X_{K_3}-\mathbb{E}(X_{K_3}))/σ$ and $\mathcal{L}$ is the support of $X^*$. By combining our result with the results of Röllin--Ross and Gilmer--Kopparty, this establishes the Gilmer--Kopparty conjecture for triangle counts for $n^{-1}\ll p < c$, for any constant $c\in (0,1)$. Our quantitative result is enough to prove that the triangle counts converge to an associated normal distribution also in the $\ell_1$-distance. This is the first local central limit theorem for subgraph counts above the so-called $m_2$-density threshold.
On colouring oriented graphs of large girth
Published
• View Publication
• BIB
We prove that for every oriented graph $D$ and every choice of positive integers $k$ and $\ell$, there exists an oriented graph $D^*$ along with a surjective homomorphism $ψ\colon V(D^*) \to V(D)$ such that: (i) girth$(D^*) \geq\ell$; (ii) for every oriented graph $C$ with at most $k$ vertices, there exists a homomorphism from $D^*$ to $C$ if and only if there exists a homomorphism from $D$ to $C$; and (iii) for every $D$-pointed oriented graph $C$ with at most $k$ vertices and for every homomorphism $\varphi\colon V(D^*) \to V(C)$ there exists a unique homomorphism $f\colon V(D) \to V(C)$ such that $\varphi=f \circ ψ$. Determining the oriented chromatic number of an oriented graph $D$ is equivalent to finding the smallest integer $k$ such that $D$ admits a homomorphism to an order-$k$ tournament, so our main theorem yields results on the girth and oriented chromatic number of oriented graphs. While our main proof is probabilistic (hence nonconstructive), for any given $\ell\geq 3$ and $k\geq 5$, we include a construction of an oriented graph with girth $\ell$ and oriented chromatic number $k$.
Pseudorandomness of the Sticky Random Walk
We extend the pseudorandomness of random walks on expander graphs using the sticky random walk. Building on prior works, it was recently shown that expander random walks can fool all symmetric functions in total variation distance (TVD) upto an $O(λ(\frac{p}{\min f})^{O(p)})$ error, where $λ$ is the second largest eigenvalue of the expander, $p$ is the size of the arbitrary alphabet used to label the vertices, and $\min f = \min_{b\in[p]} f_b$, where $f_b$ is the fraction of vertices labeled $b$ in the graph. Golowich and Vadhan conjecture that the dependency on the $(\frac{p}{\min f})^{O(p)}$ term is not tight. In this paper, we resolve the conjecture in the affirmative for a family of expanders. We present a generalization of the sticky random walk for which Golowich and Vadhan predict a TVD upper bound of $O(λp^{O(p)})$ using a Fourier-analytic approach. For this family of graphs, we use a combinatorial approach involving the Krawtchouk functions to derive a strengthened TVD of $O(λ)$. Furthermore, we present equivalencies between the generalized sticky random walk, and, using linear-algebraic techniques, show that the generalized sticky random walk parameterizes an infinite family of expander graphs.
Approximately counting independent sets in dense bipartite graphs via subspace enumeration
We give a randomized algorithm that approximates the number of independent sets in a dense, regular bipartite graph -- in the language of approximate counting, we give an FPRAS for #BIS on the class of dense, regular bipartite graphs. Efficient counting algorithms typically apply to ``high-temperature'' problems on bounded-degree graphs, and our contribution is a notable exception as it applies to dense graphs in a low-temperature setting. Our methods give a counting-focused complement to the long line of work in combinatorial optimization showing that CSPs such as Max-Cut and Unique Games are easy on dense graphs via spectral arguments. The proof exploits the fact that dense, regular graphs exhibit a kind of small-set expansion (i.e. bounded threshold rank), which via subspace enumeration lets us enumerate small cuts efficiently.
Positive dependence for colored percolation
Published
• View Publication
• BIB
For uniform random 4-colorings of graph edges with colors a,b,c,d, every two colors form a 1/2-percolation, and every two overlapping pairs of colors form independent 1/2-percolations. We show joint positive dependence for pairs of colors ab, ac and ac, and joint negative dependence for pairs of colors ab, ac and bc. The proof is based on a generalization of the Harris--Kleitman inequalities. We apply the results to crossing probabilities for the colored bond and site percolation, and to colored critical percolation that we also define.
Spectral Applications of Vertex-Clique Incidence Matrices Associated with a Graph
Published
• View Publication
• BIB
In this paper, we demonstrate a useful interaction between the theory of clique partitions, edge clique covers of a graph, and the spectra of graphs. Using a clique partition and an edge clique cover of a graph we introduce the notion of a vertex-clique incidence matrix for a graph and produce new lower bounds for the negative eigenvalues and negative inertia of a graph. Moreover, utilizing these vertex-clique incidence matrices, we generalize several notions such as the signless Laplacian matrix, and develop bounds on the incidence energy and the signless Laplacian energy of the graph. %The tight upper bounds for the energies of a graph and its line graph are given. More generally, we also consider the set $S(G)$ of all real-valued symmetric matrices whose off-diagonal entries are nonzero precisely when the corresponding vertices of the graph are adjacent. An important parameter in this setting is $q(G)$, and is defined to be the minimum number of distinct eigenvalues over all matrices in $S(G)$. For a given graph $G$ the concept of a vertex-clique incidence matrix associated with an edge clique cover is applied to establish several classes of graphs with $q(G)=2$.
Combinatorial Approach for Factorization of Variance and Entropy in Spin Systems
Published
• View Publication
• BIB
We present a simple combinatorial framework for establishing approximate tensorization of variance and entropy in the setting of spin systems (a.k.a. undirected graphical models) based on balanced separators of the underlying graph. Such approximate tensorization results immediately imply as corollaries many important structural properties of the associated Gibbs distribution, in particular rapid mixing of the Glauber dynamics for sampling. We prove approximate tensorization by recursively establishing block factorization of variance and entropy with a small balanced separator of the graph. Our approach goes beyond the classical canonical path method for variance and the recent spectral independence approach, and allows us to obtain new rapid mixing results. As applications of our approach, we show that:
1. On graphs of treewidth $t$, the mixing time of the Glauber dynamics is $n^{O(t)}$, which recovers the recent results of Eppstein and Frishberg with improved exponents and simpler proofs;
2. On bounded-degree planar graphs, strong spatial mixing implies $\tilde{O}(n)$ mixing time of the Glauber dynamics, which gives a faster algorithm than the previous deterministic counting algorithm by Yin and Zhang.
Phase Transitions of Structured Codes of Graphs
Published
• View Publication
• BIB
We consider the symmetric difference of two graphs on the same vertex set $[n]$, which is the graph on $[n]$ whose edge set consists of all edges that belong to exactly one of the two graphs. Let $\mathcal{F}$ be a class of graphs, and let $M_{\mathcal{F}}(n)$ denote the maximum possible cardinality of a family $\mathcal{G}$ of graphs on $[n]$ such that the symmetric difference of any two members in $\mathcal{G}$ belongs to $\mathcal{F}$. These concepts are recently investigated by Alon, Gujgiczer, Körner, Milojević, and Simonyi, with the aim of providing a new graphic approach to coding theory. In particular, $M_{\mathcal{F}}(n)$ denotes the maximum possible size of this code. Existing results show that as the graph class $\mathcal{F}$ changes, $M_{\mathcal{F}}(n)$ can vary from $n$ to $2^{(1+o(1))\binom{n}{2}}$. We study several phase transition problems related to $M_{\mathcal{F}}(n)$ in general settings and present a partial solution to a recent problem posed by Alon et. al.
Tuple regularity and $k$-ultrahomogeneity for finite groups
Published
• View Publication
• BIB
For $k, \ell \in \mathbb{N}$, we introduce the concepts of $k$-ultrahomogeneity and $\ell$-tuple regularity for finite groups. Inspired by analogous concepts in graph theory, these form a natural generalization of homogeneity, which was studied by Cherlin and Felgner and Li as well as automorphism transitivity, which was investigated by Zhang. Additionally, these groups have an interesting algorithmic interpretation. We classify the $k$-ultrahomogeneous and $\ell$-tuple regular finite groups for $k, \ell \geq 2$. In particular, we show that every 2-tuple regular finite group is ultrahomogeneous.