graph
34665 papers tagged with this keyword
Continuous-time Quantum Walks on Cayley Graphs of Extraspecial Groups
Published
• View Publication
• BIB
We study continuous-time quantum walks on normal Cayley graphs of certain non-abelian groups, called extraspecial groups. By applying general results for graphs in association schemes we determine the precise conditions for perfect state transfer and fractional revival, and use partial spreads to construct graphs on extraspecial $2$-groups admitting these various phenomena. Lastly, we use a result of Ada Chan to show that there is no normal Cayley graph of an extraspecial group that admits instantaneous uniform mixing.
Triangles in randomly perturbed graphs
Published
• View Publication
• BIB
We study the problem of finding pairwise vertex-disjoint triangles in the randomly perturbed graph model, which is the union of any $n$-vertex graph $G$ satisfying a given minimum degree condition and the binomial random graph $G(n,p)$. We prove that asymptotically almost surely $G \cup G(n,p)$ contains at least $\min\{δ(G), \lfloor n/3 \rfloor\}$ pairwise vertex-disjoint triangles, provided $p \ge C \log n/n$, where $C$ is a large enough constant. This is a perturbed version of an old result of Dirac.
Our result is asymptotically optimal and answers a question of Han, Morris, and Treglown [RSA, 2021, no. 3, 480--516] in a strong form. We also prove a stability version of our result, which in the case of pairwise vertex-disjoint triangles extends a result of Han, Morris, and Treglown [RSA, 2021, no. 3, 480--516]. Together with a result of Balogh, Treglown, and Wagner [CPC, 2019, no. 2, 159--176] this fully resolves the existence of triangle factors in randomly perturbed graphs.
We believe that the methods introduced in this paper are useful for a variety of related problems: we discuss possible generalisations to clique factors, cycle factors, and $2$-universality.
Associative spectra of graph algebras I. Foundations, undirected graphs, antiassociative graphs
Published in J. Algebraic Combin. 53 (2021) 613-638
• View Publication
• BIB
Associative spectra of graph algebras are examined with the help of homomorphisms of DFS trees. Undirected graphs are classified according to the associative spectra of their graph algebras; there are only three distinct possibilities: constant 1, powers of 2, and Catalan numbers. Associative and antiassociative digraphs are described, and associative spectra are determined for certain families of digraphs, such as paths, cycles, and graphs on two vertices.
A new vertex coloring heuristic and corresponding chromatic number
Published in Algorithmica 82, 295--2414 (2020)
• View Publication
• BIB
One method to obtain a proper vertex coloring of graphs using a reasonable number of colors is to start from any arbitrary proper coloring and then repeat some local re-coloring techniques to reduce the number of color classes. The Grundy (First-Fit) coloring and color-dominating colorings of graphs are two well-known such techniques. The color-dominating colorings are also known and commonly referred as {\rm b}-colorings. But these two topics have been studied separately in graph theory. We introduce a new coloring procedure which combines the strategies of these two techniques and satisfies an additional property. We first prove that the vertices of every graph $G$ can be effectively colored using color classes say $C_1, \ldots, C_k$ such that $(i)$ for any two colors $i$ and $j$ with $1\leq i< j \leq k$, any vertex of color $j$ is adjacent to a vertex of color $i$, $(ii)$ there exists a set $\{u_1, \ldots, u_k\}$ of vertices of $G$ such that $u_j\in C_j$ for any $j\in \{1, \ldots, k\}$ and $u_k$ is adjacent to $u_j$ for each $1\leq j \leq k$ with $j\not= k$, and $(iii)$ for each $i$ and $j$ with $i\not= j$, the vertex $u_j$ has a neighbor in $C_i$. This provides a new vertex coloring heuristic which improves both Grundy and color-dominating colorings. Denote by $z(G)$ the maximum number of colors used in any proper vertex coloring satisfying the above properties. The $z(G)$ quantifies the worst-case behavior of the heuristic. We prove the existence of $\{G_n\}_{n\geq 1}$ such that $\min \{Γ(G_n), b(G_n)\} \rightarrow \infty$ but $z(G_n)\leq 3$ for each $n$. For each positive integer $t$ we construct a family of finitely many colored graphs ${\mathcal{D}}_t$ satisfying the property that if $z(G)\geq t$ for a graph $G$ then $G$ contains an element from ${\mathcal{D}}_t$ as a colored subgraph. This provides an algorithmic method for proving numeric upper bounds for $z(G)$.
A type of algebraic structure related to sets of intervals
Published
• View Publication
• BIB
F. Wehrung has asked: Given a family $\mathcal{C}$ of subsets of a set $Ω$, under what conditions will there exist a total ordering on $Ω$ under which every member of $\mathcal{C}$ is convex? <p> Note that if $A$ and $B$ are nondisjoint convex subsets of a totally ordered set, neither of which contains the other, then $A\cup B$, $A\cap B$, and $A\setminus B$ are also convex. So let $\mathcal{C}$ be an arbitrary set of subsets of a set $Ω$, and form its closure $\mathcal{P}$ under forming, whenever $A$ and $B$ are nondisjoint and neither contains the other, the sets $A\cup B$, $A\cap B$, and $A\setminus B$. We determine the form $\mathcal{P}$ can take when $\mathcal{C}$, and hence $\mathcal{P}$, is finite, and for this case get necessary and sufficient conditions for there to exist an ordering of $Ω$ of the desired sort. From this we obtain a condition which works without the finiteness hypothesis. <p> We establish bounds on the cardinality of the subset $\mathcal{P}$ generated as above by an $n$-element set $\mathcal{C}$. <p> We note connections with the theory of <i>interval graphs</i> and <i>hypergraphs</i>, which lead to other ways of answering Wehrung's question.
A Cheeger Cut for Uniform Hypergraphs
Published in Graphs and Combinatorics (2021)
• View Publication
• BIB
The graph Cheeger constant and Cheeger inequalities are generalized to the case of hypergraphs whose edges have the same cardinality. In particular, it is shown that the second largest eigenvalue of the generalized normalized Laplacian is bounded both above and below by the generalized Cheeger constant, and the corresponding eigenfunctions can be used to approximate the Cheeger cut.
Bounds for the multilevel construction
One of the main problems in random network coding is to compute good lower and upper bounds on the achievable cardinality of the so-called subspace codes in the projective space $\mathcal{P}_q(n)$ for a given minimum distance. The determination of the exact maximum cardinality is a very tough discrete optimization problem involving a huge number of symmetries. Besides some explicit constructions for \textit{good} subspace codes several of the most success full constructions involve the solution of discrete optimization subproblems itself, which mostly have not been not been solved systematically. Here we consider the multilevel a.k.a.\ Echelon--Ferrers construction and given lower and upper bounds for the achievable cardinalities. From a more general point of view, we solve maximum clique problems in weighted graphs, where the weights can be polynomials in the field size $q$.
On 3-Coloring of $(2P_4,C_5)$-Free Graphs
Published in Algorithmica 84(6), 1526-1547, 2022; Proceedings: Graph-Theoretic Concepts in Computer Science, WG 2021
• View Publication
• BIB
The 3-coloring of hereditary graph classes has been a deeply-researched problem in the last decade. A hereditary graph class is characterized by a (possibly infinite) list of minimal forbidden induced subgraphs $H_1,H_2,\ldots$; the graphs in the class are called $(H_1,H_2,\ldots)$-free. The complexity of 3-coloring is far from being understood, even for classes defined by a few small forbidden induced subgraphs. For $H$-free graphs, the complexity is settled for any $H$ on up to seven vertices. There are only two unsolved cases on eight vertices, namely $2P_4$ and $P_8$. For $P_8$-free graphs, some partial results are known, but to the best of our knowledge, $2P_4$-free graphs have not been explored yet. In this paper, we show that the 3-coloring problem is polynomial-time solvable on $(2P_4,C_5)$-free graphs.
On a question of Haemers regarding vectors in the nullspace of Seidel matrices
Published
• View Publication
• BIB
In 2011, Haemers asked the following question: If $S$ is the Seidel matrix of a graph of order $n$ and $S$ is singular, does there exist an eigenvector of $S$ corresponding to $0$ which has only $\pm 1$ elements?
In this paper, we construct infinite families of graphs which give a negative answer to this question. One of our constructions implies that for every natural number $N$, there exists a graph whose Seidel matrix $S$ is singular such that for any integer vector in the nullspace of $S$, the absolute value of any entry in this vector is more than $N$. We also derive some characteristics of vectors in the nullspace of Seidel matrices, which lead to some necessary conditions for the singularity of Seidel matrices. Finally, we obtain some properties of the graphs which affirm the above question.
On the free energy density of factor models on biregular graphs
Let $h(0),h(1),\dots,h(k)$ be a symmetric concave sequence. For a $(d,k)$-biregular factor graph $G$ and $x\in \{0,1\}^V$, we define the Hamiltonian \[H_G(x)=\sum_{f\in F} h\left(\sum_{v\in \partial f} x_v\right),\] where $V$ is the set of variable nodes, $F$ is the set of factor nodes. We prove that if $(G_n)$ is a large girth sequence of $(d,k)$-biregular factor graphs, then the free energy density of $G_n$ converges. The limiting free energy density is given by the Bethe-approximation.
Rigid structures in the universal enveloping traffic space
For any tracial non-commutative probability space $(\mathcal{A}, \varphi)$, Cébron, Dahlqvist, and Male showed that one can always construct an enveloping traffic space $(\mathcal{G}(\mathcal{A}), τ_\varphi)$ that extends the trace. This construction provides a universal object that allows one to appeal to the traffic probability framework in generic situations, prioritizing an understanding of its structure. In this article, we prove that $(\mathcal{G}(\mathcal{A}), τ_\varphi)$ admits a canonical free product decomposition $\mathcal{A} * \mathcal{A}^\intercal * Θ(\mathcal{G}(\mathcal{A}))$. In particular, $\mathcal{A}^\intercal$ is an anti-isomorphic copy of $\mathcal{A}$, and $Θ(\mathcal{G}(\mathcal{A}))$ is, up to degeneracy, a commutative algebra generated by Gaussian random variables with a covariance structure diagonalized by the graph operations. If $(\mathcal{A}, \varphi)$ itself is a free product, then we describe how this additional structure lifts into $(\mathcal{G}(\mathcal{A}), τ_\varphi)$. Here, we find a connection between free independence and classical independence opposite the usual direction. Up to degeneracy, we further show that $(\mathcal{G}(\mathcal{A}), τ_\varphi)$ is spanned by tree-like graph operations. Finally, we apply our results to the study of large (possibly dependent) random matrices. Our analysis relies on the combinatorics of cactus graphs and the resulting cactus-cumulant correspondence.
Balanced flows for transshipment problems
Published
• View Publication
• BIB
A transshipment problem (G, d, λ) is modeled by a directed graph G = (V, E) with weighted vertices d = (d_v | v \in V) and directed edges λ= (λ_e | e \in E) interpreted as follows: G is a communication or transportation network, e.g., a pipeline; each edge e \in E is a one-way communication line, road or pipe of capacity λ_e, while every vertex v \in V is a node of production d_v > 0, consumption d_v < 0, or transition d_v = 0. A non-negative flow x = (x_e \mid e \in E) is called weakly feasible if for each v \in V the algebraic sum of flows, over all directed edges incident to v, equals d_v; or shorter, if A_G x = d, where A_G is the vertex-edge incidence matrix of G. A weakly feasible flow x is called feasible if x_e \leq λ_e for all e \in E. We consider weakly feasible but not necessarily feasible flows, that is, inequalities x_e > λ_e are allowed. However, such an excess is viewed as unwanted (dangerous) and so we minimize the excess ratio vector r = (r_e = x_e / λ_e | e \in E) lexicographically. More precisely, first, we look for the weakly feasible flows minimizing the maximum of re over all e in E; among all such flows we look for those that minimize the second largest coordinate of r, etc. Clearly, |E| such steps define a unique balanced flow, which provides the lexmin solution for problem (G, d, λ). We construct it in polynomial time, provided vectors d and λare integer. For symmetric digraphs the problem was solved by Gurvich and Gvishiani in 1984. Here we extend this result to directed graphs. Furthermore, we simplify the algorithm and proofs applying the classic criterion of existence of a feasible flow for (G, d, λ) obtained by Gale and Hoffman in late 1950-s.
Kings in Multipartite Hypertournaments
Published
• View Publication
• BIB
In his paper "Kings in Bipartite Hypertournaments" (Graphs $\&$ Combinatorics 35, 2019), Petrovic stated two conjectures on 4-kings in multipartite hypertournaments. We prove one of these conjectures and give counterexamples for the other.
Orientations of infinite graphs
Building on recent work by Thomassen, we show that Nash-Williams' orientation theorem, that every finite $2k$-edge-connected multigraph has a $k$-arc-connected orientation, also holds for all infinite multigraphs.
Counting Homomorphic Cycles in Degenerate Graphs
Published
• View Publication
• BIB
Since counting subgraphs in general graphs is, by and large, a computationally demanding problem, it is natural to try and design fast algorithms for restricted families of graphs. One such family that has been extensively studied is that of graphs of bounded degeneracy (e.g., planar graphs). This line of work, which started in the early 80's, culminated in a recent work of Gishboliner et al., which highlighted the importance of the task of counting homomorphic copies of cycles (i.e., cyclic walks) in graphs of bounded degeneracy.
Our main result in this paper is a surprisingly tight relation between the above task and the well-studied problem of detecting (standard) copies of directed cycles in general directed graphs. More precisely, we prove the following:
1. One can compute the number of homomorphic copies of $C_{2k}$ and $C_{2k+1}$ in $n$-vertex graphs of bounded degeneracy in time $\tilde{O}(n^{d_{k}})$, where the fastest known algorithm for detecting directed copies of $C_k$ in general $m$-edge digraphs runs in time $\tilde{O}(m^{d_{k}})$.
2. Conversely, one can transform any $O(n^{b_{k}})$ algorithm for computing the number of homomorphic copies of $C_{2k}$ or of $C_{2k+1}$ in $n$-vertex graphs of bounded degeneracy, into an $\tilde{O}(m^{b_{k}})$ time algorithm for detecting directed copies of $C_k$ in general $m$-edge digraphs.
We emphasize that our first result does not use a black-box reduction (as opposed to the second result which does). Instead, we design an algorithm for computing the number of $C_k$-homomorphisms in degenerate graphs and show that one part of its analysis can be reduced to the analysis of the fastest known algorithm for detecting directed cycles in general digraphs, which was carried out in a recent breakthrough of Dalirrooyfard, Vuong and Vassilevska Williams.
Saturating stable matchings
Published in Operations Research Letters 2021;49(4):597-601
• View Publication
• BIB
I relate bipartite graph matchings to stable matchings. I prove a necessary and sufficient condition for the existence of a saturating stable matching, where every agent on one side is matched, for all possible preferences. I extend my analysis to perfect stable matchings, where every agent on both sides is matched.
H-chromatic symmetric functions
Published in Electron. J. Comb. 29 (2022) 1
• View Publication
• BIB
We introduce $H$-chromatic symmetric functions, $X_{G}^{H}$, which use the $H$-coloring of a graph $G$ to define a generalization of Stanley's chromatic symmetric functions. We say two graphs $G_1$ and $G_2$ are $H$-chromatically equivalent if $X_{G_1}^{H} = X_{G_2}^{H}$, and use this idea to study uniqueness results for $H$-chromatic symmetric functions, with a particular emphasis on the case $H$ is a complete bipartite graph. We also show that several of the classical bases of the space of symmetric functions, i.e. the monomial symmetric functions, power sum symmetric functions, and elementary symmetric functions, can be realized as $H$-chromatic symmetric functions. We end with some conjectures and open problems.
Correlation Decay and the Absence of Zeros Property of Partition Functions
Published
• View Publication
• BIB
Absence of (complex) zeros property is at the heart of the interpolation method developed by Barvinok \cite{barvinok2017combinatorics} for designing deterministic approximation algorithms for various graph counting and computing partition functions problems. Earlier methods for solving the same problem include the one based on the correlation decay property. Remarkably, the classes of graphs for which the two methods apply sometimes coincide or nearly coincide. In this paper we show that this is more than just a coincidence. We establish that if the interpolation method is valid for a family of graphs satisfying the self-reducibility property, then this family exhibits a form of correlation decay property which is asymptotic Strong Spatial Mixing (SSM) at distances $ω(\log n)$, where $n$ is the number of nodes of the graph. This applies in particular to amenable graphs, such as graphs which are finite subsets of lattices.
Our proof is based on a certain graph polynomial representation of the associated partition function. This representation is at the heart of the design of the polynomial time algorithms underlying the interpolation method itself. We conjecture that our result holds for all, and not just amenable graphs.
Optimal Ternary Codes with Weight $w$ and Distance $2w-2$ in $\ell_1$-Metric
Published
• View Publication
• BIB
The study of constant-weight codes in $\ell_1$-metric was motivated by the duplication-correcting problem for data storage in live DNA. It is interesting to determine the maximum size of a code given the length $n$, weight $w$, minimum distance $d$ and the alphabet size $q$. In this paper, based on graph decompositions, we determine the maximum size of ternary codes with constant weight $w$ and distance $2w-2$ for all sufficiently large length $n$. Previously, this was known only for a very sparse family $n$ of density $4/w(w-1)$.
On the cut dimension of a graph
Let $G = (V,w)$ be a weighted undirected graph with $m$ edges. The cut dimension of $G$ is the dimension of the span of the characteristic vectors of the minimum cuts of $G$, viewed as vectors in $\{0,1\}^m$. For every $n \ge 2$ we show that the cut dimension of an $n$-vertex graph is at most $2n-3$, and construct graphs realizing this bound.
The cut dimension was recently defined by Graur et al.\ \cite{GPRW20}, who show that the maximum cut dimension of an $n$-vertex graph is a lower bound on the number of cut queries needed by a deterministic algorithm to solve the minimum cut problem on $n$-vertex graphs. For every $n\ge 2$, Graur et al.\ exhibit a graph on $n$ vertices with cut dimension at least $3n/2 -2$, giving the first lower bound larger than $n$ on the deterministic cut query complexity of computing mincut. We observe that the cut dimension is even a lower bound on the number of \emph{linear} queries needed by a deterministic algorithm to solve mincut, where a linear query can ask any vector $x \in \mathbb{R}^{\binom{n}{2}}$ and receives the answer $w^T x$. Our results thus show a lower bound of $2n-3$ on the number of linear queries needed by a deterministic algorithm to solve minimum cut on $n$-vertex graphs, and imply that one cannot show a lower bound larger than this via the cut dimension.
We further introduce a generalization of the cut dimension which we call the $\ell_1$-approximate cut dimension. The $\ell_1$-approximate cut dimension is also a lower bound on the number of linear queries needed by a deterministic algorithm to compute minimum cut. It is always at least as large as the cut dimension, and we construct an infinite family of graphs on $n=3k+1$ vertices with $\ell_1$-approximate cut dimension $2n-2$, showing that it can be strictly larger than the cut dimension.