graph
35175 papers tagged with this keyword
A Polynomial-Time Approximation Algorithm for Complete Interval Minors
As shown by Robertson and Seymour, deciding whether the complete graph $K_t$ is a minor of an input graph $G$ is a fixed parameter tractable problem when parameterized by $t$. From the approximation viewpoint, the gap to fill is quite large, as there is no PTAS for finding the largest complete minor unless $P = NP$, whereas a polytime $O(\sqrt n)$-approximation algorithm was given by Alon, Lingas and Wahlén.
We investigate the complexity of finding $K_t$ as interval minor in ordered graphs (i.e. graphs with a linear order on the vertices, in which intervals are contracted to form minors). Our main result is a polytime $f(t)$-approximation algorithm, where $f$ is triply exponential in $t$ but independent of $n$. The algorithm is based on delayed decompositions and shows that ordered graphs without a $K_t$ interval minor can be constructed via a bounded number of three operations: closure under substitutions, edge union, and concatenation of a stable set. As a byproduct, graphs avoiding $K_t$ as an interval minor have bounded chromatic number.
Edge-vertex degree based Zagreb index and graph operations
A graph $G$ consists of two parts, the vertices and edges. The vertices constitute the vertex set $V(G)$ and the edges, the edge set. An edge \( e=xy \), \( ev \)-dominates not only the vertices incident to it but also those adjacent to either \( x \) or \( y \). The edge-vertex degree of $e,$ $deg^{ev}_{G}(e),$ is the number of vertices in the $ev$-dominating set of $e$. In this article, we compute expressions for the $ev$-degree version of the Zagreb index of several unary and binary graph operations.
All graphs are majority 3-choosable
Published
• View Publication
• BIB
Every graph is majority 3-choosable. This generalises the result by Shelah-Milner that every graph has an unfriendly 3-partition, confirming a conjecture of Haslegrave from 2020.
On Unique Neighborhoods in Bipartite and Expander Graphs
An undirected graph is said to have \emph{unique neighborhoods} if any two distinct nodes have also distinct sets of neighbors. In this way, the connections of a node to other nodes can characterize a node like an "identity", irrespectively of how nodes are named, as long as two nodes are distinguishable. We study the uniqueness of neighborhoods in (random) bipartite graphs, and expander graphs.
Packing chromatic number of unitary Cayley graphs of $\Bbb Z_n$ and algorithmic approaches to it
Published
• View Publication
• BIB
A packing $k$-coloring of a graph $G$ is a partition of $V(G)$ into $k$ disjoint non-empty classes $V_1, \dots, V_k$, such that if $u,v \in V_i$, $i\in [k]$, $u\ne v$, then the distance between $u$ and $v$ is greater than $i$. The packing chromatic number of $G$ is the smallest integer $k$ which admits a packing $k$-coloring of $G$. In this paper, the packing chromatic number of the unitary Cayley graph of $\mathbb{Z}_n$ is computed. Two metaheuristic algorithms for calculating the packing chromatic number are also proposed.
The ineffectiveness of the regularity lemma for bounded degree graphs
Published
• View Publication
• BIB
We show that for any $Δ\geq 3$, there is no bound computable from $(\varepsilon, r)$ on the size of a graph required to approximate a graph of maximum degree at most $Δ$ up to $\varepsilon$ error in $r$-neighborhood statistics. This provides a negative answer to a question posed by Lovász. Our result is a direct consequence of the recent celebrated work of Bowen, Chapman, Lubotzky, and Vidick, which refutes the Aldous-Lyons conjecture.
Mixing and Merging Metric Spaces using Directed Graphs
Let $(X_1,d_1),\dots, (X_N,d_N)$ be metric spaces, where $d_i: X_i \times X_i \rightarrow [0,1]$ is a distance function for $i=1,\dots,N$. Let $\mathcal{X}$ denote the set theoretic product $X_1\times \cdots \times X_N$. Let $\mathcal{G} = \left(\mathcal{V},\mathcal{E}\right)$ be a directed graph with vertex set $\mathcal{V} =\{1,\dots, N\}$, and let $\mathcal{P} = \{p_{ij}\}$ be a collection of weights, where each $p_{ij}\in (0, 1]$ is associated with the edge $(i,j) \in \mathcal{E}$. We introduce the function $d_{\mathcal{X},\mathcal{G},\mathcal{P}}: \mathcal{X}\times \mathcal{X} \to [0,1]$ defined by \begin{align*} d_{\mathcal{X},\mathcal{G},\mathcal{P}}(\mathbf{g},\mathbf{h}) := \left(1 - \frac{1}{N}\sum_{j=1}^N \prod_{i=1}^N \left[1- d_i(g_i,h_i)\right]^{\frac{1}{p_{ji}}} \right), \end{align*} for all $\mathbf{g},\mathbf{h} \in \mathcal{X}$. In this paper we show that $d_{\mathcal{X},\mathcal{G},\mathcal{P}}$ defines a metric space over $\mathcal{X}$. Then we determine how this distance behaves under various graph operations, including disjoint unions and Cartesian products. We investigate two limiting cases: (a) when $d_{\mathcal{X},\mathcal{G},\mathcal{P}}$ is defined over a finite field, leading to a broad generalization of graph-based distances commonly studied in error-correcting code theory; and (b) when the metric is extended to graphons, enabling the measurement of distances in a continuous graph limit setting.
On independence complexes of graph products
We study the independence complexes of graph products where at least one factor is a path. We also analyze the complexes of their induced subgraphs. We determine the homotopy type of the independence complex of the graphs $P_n\times P_m$, $P_n\boxtimes P_2$, $P_n\boxtimes P_3$ and $P_n\boxtimes P_4$. We also focus in the independence complexes of the induced subgraphs of $P_n\times P_3$, $P_n\boxtimes P_2$, $P_n\boxtimes P_3$, $P_n\boxtimes P_4$ and some lexicographic products $G\circ H$.
The Degree Polynomial
The degree polynomial of a multigraph $G$ is given by $\sum _{v \in V(G)} x^{\mbox{deg}(v)}$. We investigate here properties of the roots of such polynomials. In addition to examining the roots for some families of graphs with few and many degrees, we provide some bounds on the moduli of the roots. We also propose a region that contains all roots for multigraphs of order $n$.
The k-Sudoku Number of Graphs
Let $G=(V,E)$ be a graph of order $n$ with chromatic number $χ(G)$. Let $ k \geq χ(G) $ and $S \subseteq V$. Let $ C_0 $ be a $k$-coloring of the induced subgraph $ G[S] $. The coloring $C_0$ is called an extendable coloring, if $C_0$ can be extended to a $k$-coloring of $G$ and it is a $k$- Sudoku coloring of $G$, if $C_0$ can be uniquely extended to a $k$-coloring of $G$. The smallest order of such an induced subgraph $G[S]$ of $G$ which admits a $k$- Sudoku coloring is called $k$- Sudoku number of $G$ and is denoted by $sn(G,k)$. When $k=χ(G)$, we call $k$- Sudoku number of $G$ as Sudoku number of $G$ and is denoted by $sn(G)$. In this paper, we have obtained the $3$- Sudoku number of some bipartite graphs $P_n$, $C_{2n}$, $K_{m,n}$, $B_{m,n}$ and $G \circ lK_1$, where $G$ is a bipartite graph and $l\geq1$. Also, we have obtained the necessary and sufficient conditions for a bipartite graph $G$ to have $sn(G,3)$ equal to $n$, $n-1$ or $n-2$. Also, we study the relation between $k$- Sudoku number of a graph $G$ and the Sudoku number of a supergraph $H$ of $G$.
Nordhaus-Gaddum-type theorems for maximum average degree
Published
• View Publication
• BIB
A $k$-decomposition $(G_1,\dots,G_k)$ of a graph $G$ is a partition of its edge set into $k$ spanning subgraphs $G_1,\dots,G_k$. The classical theorem of Nordhaus and Gaddum bounds $χ(G_1) + χ(G_2)$ and $χ(G_1) χ(G_2)$ over all 2-decompositions of $K_n$. For a graph parameter $p$, let $p(k,G) = \max \{ \sum_{i=1}^k p(Gi) \}$, taken over all $k$-decompositions of graph $G$. In this paper we consider $M(k,K_n) = M(k,n) = \max \{ \sum_{i=1}^k \mathrm{Mad}(G_i) \}$, taken over all $k$-decompositions of the complete graph $K_n$, where $\mathrm{Mad}(G)$ denotes the maximum average degree of $G$, $\mathrm{Mad}(G) = \max \{ 2e(H)/|H| : H \subseteq G \} = \max \{d(H) : H \subseteq G \}$. Among the many results obtained in this paper we mention the following selected ones.
(1) $M(k, n) < \sqrt{k} n$, and $\lim_{k\to\infty} ( \liminf_{n\to\infty} \frac{M(k,n)}{\sqrt{k}\,n} ) = 1$.
(2) Exact determination of $M(2,n)$.
(3) Exact determination of $M(k,n)$ when $k = \binom{n}{2} - t$, $0 \leq t\leq (n-1)^2/3$.
Applications of these bounds to other parameters considered before in the literature are given.
p-complete square-free Word-representation of Word-representable Graphs
A graph G(V, E) is word-representable if there exists a word w over V such that distinct letters x and y alternate in w iff $xy \in E$. We introduce p-complete squares and p-complete square-free word-representable graphs. A word is p-complete square-free if no induced subword over any subset of letters contains a square XX with $|X| \ge p$. A graph is p-complete square-free if it admits such a representation. We define p-complete square-free uniform word-representations and study their properties. We show that any graph admitting such a representation forbids Kp as an induced subgraph and that the recognition problem is NP-hard for arbitrary p. For p=1 and 2, we give complete characterisations. We prove that every $K_p$-free circle graph admits a p-complete square-free uniform representation and that any 3-complete square-free uniform word-representable graph has representation number at most three. We present a constructive method for generating new examples for p=3.
Coloring by Pushing Vertices
Published
• View Publication
• BIB
Let $G$ be a graph of order $n$, maximum degree at most $Δ$, and no component of order $2$. Inspired by the famous 1-2-3-conjecture, Bensmail, Marcille, and Orenga define a proper pushing scheme of $G$ as a function $ρ:V(G)\to\mathbb{N}_0$ for which $$σ:V(G)\to\mathbb{N}_0:u\mapsto \left(1+ρ(u)\right)d_G(u)+\sum_{v\in N_G(u)}ρ(v)$$ is a vertex coloring, that is, adjacent vertices receive different values under $σ$. They show the existence of a proper pushing scheme $ρ$ with $\max\{ ρ(u):u\in V(G)\}\leq Δ^2$ and conjecture that this upper bound can be improved to $Δ$. We show their conjecture for cubic graphs and regular bipartite graphs. Furthermore, we show the existence of a proper pushing scheme $ρ$ with $\sum_{u\in V(G)}ρ(u)\leq \left(2Δ^2+Δ\right)n/6$.
The Turan number of the balanced double star S_{n-1,n-1} in the hypercube Q_n
The n-dimensional hypercube Q_n is a graph with vertex set {0,1}^n such that there is an edge between two vertices if and only if they differ in exactly one coordinate. Let H be a graph, and a graph is called H-free if it does not contain H as a subgraph. Given a graph H, the Turan number of H in Q_n, denoted by ex(Q_n, H), is the maximum number of edges of a subgraph of Q_n that is H-free. A double star S_{k,l} is the graph obtained by taking an edge uv and joining u with k vertices, v with l vertices which are different from the k vertices. We say a double star is a balanced double star if k = l. Currently, the Turan number of the balanced star S_{n,n} is has been studied in the planar graphs. In the hypercubes, the researchers look for the maximum number of edges of the graphs that are C_k-free. However, the Turan number of the double star in the hypercube remains unexplored. Building upon prior research, we initiate the first study on the Turan number of the balanced double star in the hypercube. In this paper, we give the exact value of the Turan number of the balanced double star S_{n-1,n-1} in the hypercube Q_n, which is 2^{n-3}*(4n- 3) for all n >= 3.
The geometry of zonotopal algebras II: Orlik--Terao algebras and Schubert varieties
Published
• View Publication
• BIB
Zonotopal algebras, introduced by Postnikov--Shapiro--Shapiro, Ardila--Postnikov, and Holtz--Ron, show up in many different contexts, including approximation theory, representation theory, Donaldson--Thomas theory, and hypertoric geometry. In the first half of this paper, we construct a perfect pairing between the internal zonotopal algebra of a linear space and the reduced Orlik--Terao algebra of the Gale dual linear space. As an application, we prove a conjecture of Moseley--Proudfoot--Young that relates the reduced Orlik--Terao algebra of a graph to the cohomology of a certain configuration space. In the second half of the paper, we interpret the Macaulay inverse system of a zonotopal algebra as the space of sections of a sheaf on the Schubert variety of a linear space. As an application of this, we use an equivariant resolution of the structure sheaf of the Schubert variety inside of a product of projective lines to produce an exact sequence relating internal and external zonotopal algebras.
A Counterexample to a Conjecture of Lovász
Published
• View Publication
• BIB
In 1975 Lovász conjectured that every $r$-partite, $r$-uniform hypergraph contains $r-1$ vertices whose deletion reduces the matching number. If true, this statement would imply a well-known conjecture of Ryser from 1971, which states that every $r$-partite, $r$-uniform hypergraph has a vertex cover of size at most $r-1$ times its matching number. When $r=2$, Ryser's conjecture is simply Kőnig's theorem, and the conjecture of Lovász is an immediate corollary. Ryser's conjecture for $r=3$ was proven by Aharoni in 2001, and remains open for all $r\geq 4$.
Here we show that the conjecture of Lovász is false in the case $r=3$. Our counterexample is the line hypergraph of the Biggs-Smith graph, a highly symmetric cubic graph on 102 vertices.
Universality for transversal Hamilton cycles in random graphs
A tuple $(G_1,\dots,G_n)$ of graphs on the same vertex set of size $n$ is said to be Hamilton-universal if for every map $χ: [n]\to[n]$ there exists a Hamilton cycle whose $i$-th edge comes from $G_{χ(i)}$. Bowtell, Morris, Pehova and Staden proved an analog of Dirac's theorem in this setting, namely that if $δ(G_i)\geq (1/2+o(1))n$ then $(G_1,\dots,G_n)$ is Hamilton-universal. Combining McDiarmid's coupling and a colorful version of the Friedman-Pippenger tree embedding technique, we establish a similar result in the setting of sparse random graphs, showing that there exists $C$ such that if the $G_i$ are independent random graphs sampled from $G(n,p)$, where $p\geq C\log n/n$, then $(G_1,\dots,G_n)$ is Hamilton-universal with high probability.
Generalized chip firing and critical groups of arithmetical structures on trees
Chip firing provides a way to study the sandpile group (also known as the Jacobian) of a graph. We use a generalized version of chip firing to bound the number of invariant factors of the critical group of an arithmetical structure on a graph. We also show that, under suitable hypotheses, critical groups are additive under wedge sums of graphs with arithmetical structures. These results allow us to relate the number of invariant factors of critical groups associated to any given tree to decompositions of the tree into simpler trees. We use this to classify those trees for which every arithmetical structure has cyclic critical group. Finally, we show how to construct arithmetical structures on trees with prescribed critical groups. In particular, every finite abelian group is realized as the critical group of some arithmetical structure on a tree.
Perfect tilings of 3-graphs with the generalised triangle
We establish a best-possible minimum codegree condition for the existence of a perfect tiling of a $3$-uniform hypergraph $H$ with copies of the generalised triangle $T$, which is the 3-uniform hypergraph with five vertices $a, b, c, d, e$ and three edges $abc$, $abd$, $cde$. We also give an asymptotically-optimal minimum codegree condition for the rainbow version of the problem.
$R$-weighted graphs and commutators
In this article, we introduce balance equations over commutative rings $R$ and associate $R$-weighted graphs to them so that solving balance equations corresponds to a consistent labeling of vertices of the associated graph. Our primary focus is the case when $R$ is a commutative local ring whose residue field contains at least three elements. In this case, we provide explicit solutions of balance equations. As an application, letting $R$ to be the ring of $p$-adic integers, we examine some necessary and sufficient conditions for a $p$-group of nilpotency class $2$ to have its set of commutators coincide with its commutator subgroup. We also apply our results to study the surjectivity of the Lie bracket in Lie algebras, without any restriction on their dimension and the underlined field.