graph
35367 papers tagged with this keyword
Graphoids
We study invariants of virtual graphoids, which are virtual spatial graph diagrams with two distinguished degree-one vertices modulo graph Reidemeister moves applied away from the distinguished vertices. Generalizing previously known results, we give topological interpretations of graphoids. There are several applications to virtual graphoid theory. First, virtual graphoids are suitable objects for studying knotted graphs with open ends arising in proteins. Second, a virtual graphoid can be thought of as a way to represent a virtual spatial graph without using as many crossings, which can be advantageous for computing invariants.
Toward a Three-dimensional Counterpart of Cruse's Theorem
Published in Proceedings of the American Mathematical Society, 152 (2024), 1947-1959
• View Publication
• BIB
Completing partial latin squares is NP-complete. Motivated by Ryser's theorem for latin rectangles, in 1974, Cruse found conditions that ensure a partial symmetric latin square of order $m$ can be embedded in a symmetric latin square of order $n$. Loosely speaking, this results asserts that an $n$-coloring of the edges of the complete $m$-vertex graph $K_m$ can be embedded in a one-factorization of $K_n$ if and only if $n$ is even and the number of edges of each color is at least $m-n/2$. We establish necessary and sufficient conditions under which an edge-coloring of the complete $λ$-fold $m$-vertex 3-graph $λK_m^3$ can be embedded in a one-factorization of $λK_n^3$. In particular, we prove the first known Ryser type theorem for hypergraphs by showing that if $n \equiv 0 \;(\bmod\; 3)$, any edge-coloring of $λK_m^3$ where the number of triples of each color is at least $m/2-n/6$, can be embedded in a one-factorization of $λK_n^3$. Finally we prove an Evans type result by showing that if $n \equiv 0 \;(\bmod\; 3)$ and $n\geq 3m$, then any $q$-coloring of the edges of any $F\subseteqλK_m^3$ can be embedded in a one-factorization of $λK_n^3$ as long as $q\leq λ\binom{n-1}{2}-λ\binom{m}{3}/\left\lfloor m/3 \right\rfloor$.
List-avoiding orientations
Published
• View Publication
• BIB
Given a graph $G$ with a set $F(v)$ of forbidden values at each $v \in V(G)$, an $F$-avoiding orientation of $G$ is an orientation in which $deg^+(v) \not \in F(v)$ for each vertex $v$. Akbari, Dalirrooyfard, Ehsani, Ozeki, and Sherkati conjectured that if $|F(v)| < \frac{1}{2} deg(v)$ for each $v \in V(G)$, then $G$ has an $F$-avoiding orientation, and they showed that this statement is true when $\frac{1}{2}$ is replaced by $\frac{1}{4}$. In this paper, we take a step toward this conjecture by proving that if $|F(v)| < \lfloor \frac{1}{3} deg(v) \rfloor$ for each vertex $v$, then $G$ has an $F$-avoiding orientation. Furthermore, we show that if the maximum degree of $G$ is subexponential in terms of the minimum degree, then this coefficient of $\frac{1}{3}$ can be increased to $\sqrt{2} - 1 - o(1) \approx 0.414$. Our main tool is a new sufficient condition for the existence of an $F$-avoiding orientation based on the Combinatorial Nullstellensatz of Alon and Tarsi.
$S$-Packing Coloring of Cubic Halin Graphs
Published
• View Publication
• BIB
Given a non-decreasing sequence $S = (s_{1}, s_{2}, \ldots , s_{k})$ of positive integers, an $S$-packing coloring of a graph $G$ is a partition of the vertex set of $G$ into $k$ subsets $\{V_{1}, V_{2}, \ldots , V_{k}\}$ such that for each $1 \leq i \leq k$, the distance between any two distinct vertices $u$ and $v$ in $V_{i}$ is at least $s_{i} + 1$. In this paper, we study the problem of $S$-packing coloring of cubic Halin graphs, and we prove that every cubic Halin graph is $(1,1,2,3)$-packing colorable. In addition, we prove that such graphs are $(1,2,2,2,2,2)$-packing colorable.
IGraph/M: graph theory and network analysis for Mathematica
Published
• View Publication
• BIB
IGraph/M is an efficient general purpose graph theory and network analysis package for Mathematica. IGraph/M serves as the Wolfram Language interfaces to the igraph C library, and also provides several unique pieces of functionality not yet present in igraph, but made possible by combining its capabilities with Mathematica's. The package is designed to support both graph theoretical research as well as the analysis of large-scale empirical networks.
A general approach to transversal versions of Dirac-type theorems
Published
• View Publication
• BIB
Given a collection of hypergraphs $\textbf{H}=(H_1,\ldots,H_m)$ with the same vertex set, an $m$-edge graph $F\subset \cup_{i\in [m]}H_i$ is a transversal if there is a bijection $φ:E(F)\to [m]$ such that $e\in E(H_{φ(e)})$ for each $e\in E(F)$. How large does the minimum degree of each $H_i$ need to be so that $\textbf{H}$ necessarily contains a copy of $F$ that is a transversal? Each $H_i$ in the collection could be the same hypergraph, hence the minimum degree of each $H_i$ needs to be large enough to ensure that $F\subseteq H_i$. Since its general introduction by Joos and Kim [Bull. Lond. Math. Soc., 2020, 52(3):498-504], a growing body of work has shown that in many cases this lower bound is tight. In this paper, we give a unified approach to this problem by providing a widely applicable sufficient condition for this lower bound to be asymptotically tight. This is general enough to recover many previous results in the area and obtain novel transversal variants of several classical Dirac-type results for (powers of) Hamilton cycles. For example, we derive that any collection of $rn$ graphs on an $n$-vertex set, each with minimum degree at least $(r/(r+1)+o(1))n$, contains a transversal copy of the $r$-th power of a Hamilton cycle. This can be viewed as a rainbow version of the Pósa-Seymour conjecture.
Characterization of Graphs With Failed Skew Zero Forcing Number of 1
Published
• View Publication
• BIB
Given a graph $G$, the zero forcing number of $G$, $Z(G)$, is the smallest cardinality of any set $S$ of vertices on which repeated applications of the forcing rule results in all vertices being in $S$. The forcing rule is: if a vertex $v$ is in $S$, and exactly one neighbor $u$ of $v$ is not in $S$, then $u$ is added to $S$ in the next iteration. Hence the failed zero forcing number of a graph was defined to be the size of the largest set of vertices which fails to force all vertices in the graph. A similar property called skew zero forcing was defined so that if there is exactly one neighbor $u$ of $v$ is not in $S$, then $u$ is added to $S$ in the next iteration. The difference is that vertices that are not in $S$ can force other vertices. This leads to the failed skew zero forcing number of a graph, which is denoted by $F^{-}(G)$. In this paper we provide a complete characterization of all graphs with $F^{-}(G)=1$. Fetcie, Jacob, and Saavedra showed that the only graphs with a failed zero forcing number of $1$ are either: the union of two isolated vertices; $P_3$; $K_3$; or $K_4$. In this paper we provide a surprising result: changing the forcing rule to a skew-forcing rule results in an infinite number of graphs with $F^{-}(G)=1$.
Weak randomness in graphons and theons
Published
• View Publication
• BIB
Call a hereditary family $\mathcal{F}$ of graphs strongly persistent if there exists a graphon $W$ such that in all subgraphons $W'$ of $W$, $\mathcal{F}$ is precisely the class of finite graphs that have positive density in $W'$. Our first result is a complete characterization of the hereditary families of graphs that are strongly persistent as precisely those that are closed under substitutions.
We call graphons with the self-similarity property above weakly random. A hereditary family $\mathcal{F}$ is said to have the weakly random Erdős--Hajnal property (WR) if every graphon that is a limit of graphs in $\mathcal{F}$ has a weakly random subgraphon. Among families of graphs that are closed under substitutions, we completely characterize the families that belong to WR as those with "few" prime graphs.
We also extend some of the results above to structures in finite relational languages by using the theory of theons.
B$_0$-VPG Representation of AT-free Outerplanar Graphs
Published
• View Publication
• BIB
A $k$-bend path is a non-self-intersecting polyline in the plane made of at most $k+1$ axis-parallel line segments. B$_k$-VPG is the class of graphs which can be represented as intersection graphs of $k$-bend paths in the same plane. In this paper, we show that all AT-free outerplanar graphs are B$_0$-VPG, i.e., intersection graphs of horizontal and vertical line segments in the plane. Our proofs are constructive and give a polynomial time B$_0$-VPG drawing algorithm for the class.
Following a long line of improvements, Gonçalves, Isenmann, and Pennarun [SODA 2018] showed that all planar graphs are B$_1$-VPG. Since there are planar graphs which are not B$_0$-VPG, characterizing B$_0$-VPG graphs among planar graphs becomes interesting. Chaplick et al.\ [WG 2012] had shown that it is NP-complete to recognize B$_k$-VPG graphs within B$_{k+1}$-VPG. Hence recognizing B$_0$-VPG graphs within B$_1$-VPG is NP-complete in general, but the question is open when restricted to planar graphs. There are outerplanar graphs and AT-free planar graphs which are not B$_0$-VPG. This piqued our interest in AT-free outerplanar graphs.
Proof a conjecture on connectivity keeping odd paths in k-connected bipartite graphs
Published
• View Publication
• BIB
Luo, Tian and Wu (2022) conjectured that for any tree $T$ with bipartition $X$ and $Y$, every $k$-connected bipartite graph $G$ with minimum degree at least $k+t$, where $t=$max$\{|X|,|Y|\}$, contains a tree $T'\cong T$ such that $G-V(T')$ is still $k$-connected. Note that $t=\lceil\frac{m}{2}\rceil$ when the tree $T$ is the path with order $m$. In this paper, we proved that every $k$-connected bipartite graph $G$ with minimum degree at least $k+ \lceil\frac{m+1}{2}\rceil$ contains a path $P$ of order $m$ such that $G-V(P)$ remains $k$-connected. This shows that the conjecture is true for paths with odd order. And for paths with even order, the minimum degree bound in this paper is the bound in the conjecture plus one.
An Inductive Approach to Strongly Antimagic Labelings of Graphs
An antimagic labeling for a graph $G$ with $m$ edges is a bijection $f: E(G) \to \{1, 2, \dots, m\}$ so that $φ_f(u) \neq φ_f(v)$ holds for any pair of distinct vertices $u, v \in V(G)$, where $φ_f(x) = \sum_{x \in e} f(e)$. A strongly antimagic labeling is an antimagic labeling with an additional condition: For any $u, v \in V(G)$, if $°(u) > °(v)$, then $φ_f(u) > φ_f(v)$. A graph $G$ is strongly antimagic if it admits a strongly antimagic labeling. We present inductive properties of strongly antimagic labelings of graphs. This approach leads to simplified proofs that spiders and double spiders are strongly antimagic, previously shown by Shang [Spiders are antimagic, Ars Combinatoria, 118 (2015), 367--372] and Huang [Antimagic labeling on spiders, Master's Thesis, Department of Mathematics, National Taiwan University, 2015], and by Chang, Chin, Li and Pan [The strongly antimagic labelings of double spiders, Indian J. Discrete Math. 6 (2020), 43--68], respectively. We fix a subtle error in [The strongly antimagic labelings of double spiders, Indian J. Discrete Math. 6 (2020), 43--68]. Further, we prove certain level-wise regular trees, cycle spiders and cycle double spiders are all strongly antimagic.
Edge connectivity of simplicial polytopes
Published in European J. Combin., 113:103752, 2023
• View Publication
• BIB
We show that the graph of a simplicial polytope of dimension $d \ge 3$ has no nontrivial minimum edge cut with fewer than $d(d+1)/2$ edges, hence the graph is $\min\{δ, d(d+1)/2\}$-edge-connected where $δ$ denotes the minimum degree. When $d = 3$, this implies that every minimum edge cut in a plane triangulation is trivial. When $d \ge 4$, we construct a simplicial $d$-polytope whose graph has a nontrivial minimum edge cut of cardinality $d(d+1)/2$, proving that the aforementioned result is best possible.
The normalized depth function of squarefree powers
Published
• View Publication
• BIB
The depth of squarefree powers of a squarefree monomial ideal is introduced. Let $I$ be a squarefree monomial ideal of the polynomial ring $S=K[x_1,\ldots,x_n]$. The $k$-th squarefree power $I^{[k]}$ of $I$ is the ideal of $S$ generated by those squarefree monomials $u_1\cdots u_k$ with each $u_i\in G(I)$, where $G(I)$ is the unique minimal system of monomial generators of $I$. Let $d_k$ denote the minimum degree of monomials belonging to $G(I^{[k]})$. One has $\operatorname{depth}(S/I^{[k]}) \geq d_k -1$. Setting $g_I(k) = \operatorname{depth}(S/I^{[k]}) - (d_k - 1)$, one calls $g_I(k)$ the normalized depth function of $I$. The computational experience strongly invites us to propose the conjecture that the normalized depth function is nonincreasing. In the present paper, especially the normalized depth function of the edge ideal of a finite simple graph is deeply studied.
Causal Fourier Analysis on Directed Acyclic Graphs and Posets
Published in IEEE Transactions on Signal Processing, Vol. 71, pp. 3805-3820, 2023
• View Publication
• BIB
We present a novel form of Fourier analysis, and associated signal processing concepts, for signals (or data) indexed by edge-weighted directed acyclic graphs (DAGs). This means that our Fourier basis yields an eigendecomposition of a suitable notion of shift and convolution operators that we define. DAGs are the common model to capture causal relationships between data values and in this case our proposed Fourier analysis relates data with its causes under a linearity assumption that we define. The definition of the Fourier transform requires the transitive closure of the weighted DAG for which several forms are possible depending on the interpretation of the edge weights. Examples include level of influence, distance, or pollution distribution. Our framework is different from prior GSP: it is specific to DAGs and leverages, and extends, the classical theory of Moebius inversion from combinatorics. For a prototypical application we consider DAGs modeling dynamic networks in which edges change over time. Specifically, we model the spread of an infection on such a DAG obtained from real-world contact tracing data and learn the infection signal from samples assuming sparsity in the Fourier domain.
Orientably-Regular $π$-Maps and Regular $π$-Maps
Given a map with underlying graph $\mathcal{G}$, if the set of prime divisors of $|V(\mathcal{G}|$ is denoted by $π$, then we call the map a {\it $π$-map}.
An orientably-regular (resp. A regular ) $π$-map is called {\it solvable} if the group $G^+$ of all orientation-preserving automorphisms (resp. the group $G$ of automorphisms) is solvable; and called {\it normal} if $G^+$ (resp. $G$) contains a normal $π$-Hall subgroup.
In this paper, it will be proved that orientably-regular $π$-maps are solvable and normal if $2\notin π$ and regular $π$-maps are solvable if $2\notin π$ and $G$ has no sections isomorphic to ${\rm PSL}(2,q)$ for some prime power $q$. In particular, it's shown that a regular $π$-map with $2\notin π$ is normal if and only if $G/O_{2^{'}}(G)$ is isomorphic to a Sylow $2$-group of $G$.
Moreover, nonnormal $π$-maps will be characterized and some properties and constructions of normal $π$-maps will be given in respective sections.
Faces of Cosmological Polytopes
Published in Ann. Inst. H. Poincaré D, Comb. Phys. Interact. 2024
• View Publication
• BIB
A cosmological polytope is a lattice polytope introduced by Arkani-Hamed, Benincasa, and Postnikov in their study of the wavefunction of the universe in a class of cosmological models. More concretely, they construct a cosmological polytope for any Feynman diagram, i.e. an undirected graph. In this paper, we initiate a combinatorial study of these polytopes. We give a complete description of their faces, identify minimal faces that are not simplices and compute the number of faces in specific instances. In particular, we give a recursive description of the $f$-vector of cosmological polytopes of trees.
On the Last New Vertex Visited by a Random Walk in a Directed Graph
Published in Discrete Math. Lett. 11 (2023) 96-98
• View Publication
• BIB
Consider a simple graph in which a random walk begins at a given vertex. It moves at each step with equal probability to any neighbor of its current vertex, and ends when it has visited every vertex. We call such a random walk a random cover tour. It is well known that cycles and complete graphs have the property that a random cover tour starting at any vertex is equally likely to end at any other vertex. Ronald Graham asked whether there are any other graphs with this property. In 1993, Lászlo Lovász and Peter Winkler showed that cycles and complete graphs are the only undirected graphs with this property. We strengthen this result by showing that cycles and complete graphs (with all edges considered bidirected) are the only directed graphs with this property.
The Turán density of tight cycles in three-uniform hypergraphs
The Turán density of an $r$-uniform hypergraph $\mathcal{H}$, denoted $π(\mathcal{H})$, is the limit of the maximum density of an $n$-vertex $r$-uniform hypergraph not containing a copy of $\mathcal{H}$, as $n \to \infty$.
Denote by $\mathcal{C}_{\ell}$ the $3$-uniform tight cycle on $\ell$ vertices. Mubayi and Rödl gave an ``iterated blow-up'' construction showing that the Turán density of $\mathcal{C}_5$ is at least $2\sqrt{3} - 3 \approx 0.464$, and this bound is conjectured to be tight. Their construction also does not contain $\mathcal{C}_{\ell}$ for larger $\ell$ not divisible by $3$, which suggests that it might be the extremal construction for these hypergraphs as well. Here, we determine the Turán density of $\mathcal{C}_{\ell}$ for all large $\ell$ not divisible by $3$, showing that indeed $π(\mathcal{C}_{\ell}) = 2\sqrt{3} - 3$. To our knowledge, this is the first example of a Turán density being determined where the extremal construction is an iterated blow-up construction.
A key component in our proof, which may be of independent interest, is a $3$-uniform analogue of the statement ``a graph is bipartite if and only if it does not contain an odd cycle''.
Edge-colorings avoiding patterns in a triangle
Published
• View Publication
• BIB
For positive integers $n$ and $r$, we consider $n$-vertex graphs with the maximum number of $r$-edge-colorings with no copy of a triangle where exactly two colors appear. We prove that, if $2 \leq r \leq 26$ and $n$ is sufficiently large, the maximum is attained by the bipartite Turán graph $T_2(n)$ on $n$ vertices. This is best possible, as $T_2(n)$ is not extremal for $r \geq 27$ colors and $n \geq 3$.
Refined list version of Hadwiger's conjecture
Published
• View Publication
• BIB
Assume $λ=\{k_1,k_2, \ldots, k_q\}$ is a partition of $k_λ = \sum_{i=1}^q k_i$. A $λ$-list assignment of $G$ is a $k_λ$-list assignment $L$ of $G$ such that the colour set $\bigcup_{v \in V(G)}L(v)$ can be partitioned into $|λ|= q$ sets $C_1,C_2,\ldots,C_q$ such that for each $i$ and each vertex $v$ of $G$, $|L(v) \cap C_i| \ge k_i$. We say $G$ is \emph{$λ$-choosable} if $G$ is $L$-colourable for any $λ$-list assignment $L$ of $G$. The concept of $λ$-choosability is a refinement of choosability that puts $k$-choosability and $k$-colourability in the same framework. If $|λ|$ is close to $k_λ$, then $λ$-choosability is close to $k_λ$-colourability; if $|λ|$ is close to $1$, then $λ$-choosability is close to $k_λ$-choosability. This paper studies Hadwiger's Conjecture in the context of $λ$-choosability. Hadwiger's Conjecture is equivalent to saying that every $K_t$-minor-free graph is $\{1 \star (t-1)\}$-choosable for any positive integer $t$. We prove that for $t \ge 5$, for any partition $λ$ of $t-1$ other than $\{1 \star (t-1)\}$, there is a $K_t$-minor-free graph $G$ that is not $λ$-choosable. We then construct several types of $K_t$-minor-free graphs that are not $λ$-choosable, where $k_λ- (t-1)$ gets larger as $k_λ-|λ|$ gets larger. In partcular, for any $q$ and any $ε> 0$, there exists $t_0$ such that for any $t \ge t_0$, for any partition $λ$ of $\lfloor (2-ε)t \rfloor$ with $|λ| =q$, there is a $K_t$-minor-free graph that is not $λ$-choosable. The $q=1$ case of this result was recently proved by Steiner, and our proof uses a similar argument. We also generalize this result to $(a,b)$-list colouring.