bipartite graph
2514 papers tagged with this keyword
Odd-Ramsey numbers of complete bipartite graphs
In his study of graph codes, Alon introduced the concept of the odd-Ramsey number of a family of graphs $\mathcal{H}$ in $K_n$, defined as the minimum number of colours needed to colour the edges of $K_n$ so that every copy of a graph $H\in \mathcal{H}$ intersects some colour class in an odd number of edges. In this paper, we focus on complete bipartite graphs. First, we completely resolve the problem when $\mathcal{H}$ is the family of all spanning complete bipartite graphs on $n$ vertices. We then focus on its subfamilies, that is, $\{K_{t,n-t}\colon t\in T\}$ for a fixed set of integers $T\subseteq [\lfloor n/2 \rfloor]$. We prove that the odd-Ramsey problem is equivalent to determining the maximum dimension of a linear binary code avoiding codewords of given weights, and leverage known results from coding theory to deduce asymptotically tight bounds in our setting. We conclude with bounds for the odd-Ramsey numbers of fixed (that is, non-spanning) complete bipartite subgraphs.
Spread blow-up lemma with an application to perturbed random graphs
Combining ideas of Pham, Sah, Sawhney, and Simkin on spread perfect matchings in super-regular bipartite graphs with an algorithmic blow-up lemma, we prove a spread version of the blow-up lemma. Intuitively, this means that there exists a probability measure over copies of a desired spanning graph $H$ in a given system of super-regular pairs which does not heavily pin down any subset of vertices. This allows one to complement the use of the blow-up lemma with the recently resolved Kahn-Kalai conjecture. As an application, we prove an approximate version of a conjecture of Böttcher, Parczyk, Sgueglia, and Skokan on the threshold for appearance of powers of Hamilton cycles in perturbed random graphs.
Construction and Conditions for Completely Independent Spanning Trees in Hypercubes and Regular Bipartite Graphs
A set of \( k \) spanning trees in a graph \( G \) is called a set of \textit{completely independent spanning trees (CISTs)} if, for every pair of vertices \( x \) and \( y \), the paths connecting \( x \) and \( y \) across different trees do not share any vertices or edges, except for \( x \) and \( y \) themselves. Hasunuma conjectured that every \(2k\)-connected graph contains exactly \(k\) completely independent spanning trees (CISTs). However, Pétérfalvi disproved this conjecture.
When \( k = 2 \), the two CISTs are called a \textit{dual-CIST}. It has been shown that determining whether a graph can have \( k \) CISTs is an NP-complete problem, even when \( k = 2 \). In $2017$, Darties et al. raised the question of whether the $6-$dimensional hypercube \( Q_6 \) can have three completely independent spanning trees (CISTs). This paper provides an answer to that question.
In this paper, we first present a necessary condition for \( k \)-regular, \( k \)-connected bipartite graphs to have \( \left\lfloor \frac{k}{2} \right\rfloor \) CISTs. We also investigate that the hypercube of dimension \( n \) cannot have \( \frac{n}{2} \) CISTs, which means Hasunuma's conjecture does not hold for the hypercube \( Q_n \) when \( n \) is an even integer \(2 < n \leq 10^7 \), except when \(n = 2^r\) and \( n \in \{161038, 215326, 2568226, 3020626, 7866046, 9115426 \} \). This result also resolves a question posed by Darties et al.
The construction of multiple CISTs on the underlying graph of a network has practical applications in ensuring the fault tolerance of data transmission. In this context, we also provide a construction for three completely independent spanning trees in the hypercube \(Q_n\) for \(n \geq 7\). Our results show that Hasunuma's conjecture holds for odd integer \(n = 7\) in \(Q_n\), but does not hold for even integer \(n = 6\).
The existence of $m$-Haar graphical representations
Extending the well-studied concept of graphical regular representations to bipartite graphs, a Haar graphical representation (HGR) of a group $G$ is a bipartite graph whose automorphism group is isomorphic to $G$ and acts semiregularly with the orbits giving the bipartition. The question of which groups admit an HGR was inspired by a closely related question of Estélyi and Pisanski in 2016, as well as Babai's work in 1980 on poset representations, and has been recently solved by Morris and Spiga. In this paper, we introduce the $m$-Haar graphical representation ($m$-HGR) as a natural generalization of HGR to $m$-partite graphs for $m\geq2$, and explore the existence of $m$-HGRs for any fixed group. This inquiry represents a more robust version of the existence problem of G$m$SRs as addressed by Du, Feng and Spiga in 2020. Our main result is a complete classification of finite groups $G$ without $m$-HGRs.
On quadratic embeddability of bipartite graphs and theta graphs
We compute the quadratic embedding constant for complete bipartite graphs with disjoint edges removed. Moreover, we study the quadratic embedding property for theta graphs, i.e., graphs consisting of three paths with common initial points and common endpoints. As a result, we provide an infinite family of primary graphs which are not quadratically embeddable.
Transforming Stacks into Queues: Mixed and Separated Layouts of Graphs
Some of the most important open problems for linear layouts of graphs ask for the relation between a graph's queue number and its stack number or mixed number. In such, we seek a vertex order and edge partition of $G$ into parts with pairwise non-crossing edges (a stack) or with pairwise non-nesting edges (a queue). Allowing only stacks, only queues, or both, the minimum number of required parts is the graph's stack number $sn(G)$, queue number $qn(G)$, and mixed number $mn(G)$, respectively.
Already in 1992, Heath and Rosenberg asked whether $qn(G)$ is bounded in terms of $sn(G)$, that is, whether stacks "can be transformed into" queues. This is equivalent to bipartite $3$-stack graphs having bounded queue number (Dujmović and Wood, 2005). Recently, Alam et al. asked whether $qn(G)$ is bounded in terms of $mn(G)$, which we show to also be equivalent to the previous questions.
We approach the problem by considering separated linear layouts of bipartite graphs. In this natural setting all vertices of one part must precede all vertices of the other part. Separated stack and queue numbers coincide, and for fixed vertex orders, graphs with bounded separated stack/queue number can be characterized and efficiently recognized, whereas the separated mixed layouts are more challenging. In this work, we thoroughly investigate the relationship between separated and non-separated, mixed and pure linear layouts.
Extremal number of arborescences
In this paper we study the following extremal graph theoretic problem: Given an undirected Eulerian graph $G$, which Eulerian orientation minimizes or maximizes the number of arborescences? We solve the minimization for the complete graph $K_n$, the complete bipartite graph $K_{n,m}$, and for the so-called double graphs, where there are even number of edges between any pair of vertices.
In fact, for $K_n$ we prove the following stronger statement. If $T$ is a tournament on $n$ vertices with out-degree sequence $d_1^+,\dots ,d^+_n$, then $$\mathrm{allarb}(T)\geq \frac{1}{n}\left(\prod_{k=1}^n(d^+_k+1)+\prod_{k=1}^nd^+_k\right),$$ where $\mathrm{allarb}(T)$ is the total number of arborescences. Equality holds if and only if $T$ is a locally transitive tournament.
We also give an upper bound for the number of arborescences of an Eulerian orientation for an arbitrary graph $G$. This upper bound can be achieved on $K_n$ for infinitely many $n$.
A bounded diameter strengthening of Kőnig's Theorem
K\H onig's theorem says that the vertex cover number of every bipartite graph is at most its matching number (in fact they are equal since, trivially, the matching number is at most the vertex cover number). An equivalent formulation of K\H onig's theorem is that in every $2$-colouring of the edges of a graph $G$, the number of monochromatic components needed to cover the vertex set of $G$ is at most the independence number of $G$.
We prove the following strengthening of K\H onig's theorem: In every $2$-colouring of the edges of a graph $G$, the number of monochromatic subgraphs of bounded diameter needed to cover the vertex set of $G$ is at most the independence number of $G$.
A survey of Zarankiewicz problems in geometry
One of the central topics in extremal graph theory is the study of the function $ex(n,H)$, which represents the maximum number of edges a graph with $n$ vertices can have while avoiding a fixed graph $H$ as a subgraph. Tur{á}n provided a complete characterization for the case when $H$ is a complete graph on $r$ vertices. Erd{\H o}s, Stone, and Simonovits extended Tur{á}n's result to arbitrary graphs $H$ with $χ(H) > 2$ (chromatic number greater than 2). However, determining the asymptotics of $ex(n, H)$ for bipartite graphs $H$ remains a widely open problem. A classical example of this is Zarankiewicz's problem, which asks for the asymptotics of $ex(n, K_{t,t})$.
In this paper, we survey Zarankiewicz's problem, with a focus on graphs that arise from geometry. Incidence geometry, in particular, can be viewed as a manifestation of Zarankiewicz's problem in geometrically defined graphs.
Degree Deviation and Spectral Radius
For a finite, simple, and undirected graph $G$ with $n$ vertices, $m$ edges, and largest eigenvalue $λ$, Nikiforov introduced the degree deviation of $G$ as $s=\sum_{u\in V(G)}\left|d_G(u)-\frac{2m}{n}\right|$. Contributing to a conjecture of Nikiforov, we show $λ-\frac{2m}{n}\leq \sqrt{\frac{2s}{3}}$. For our result, we show that the largest eigenvalue of a graph that arises from a bipartite graph with $m_{A,B}$ edges by adding $m_A$ edges within one of the two partite sets is at most $\sqrt{m_A+m_{A,B}+\sqrt{m_A^2+2m_Am_{A,B}}}$, which is a common generalization of results due to Stanley and Bhattacharya, Friedland, and Peled.
Properties of leveled spatial graphs
We investigate the property of a spatial graph of having a leveled embedding and characterize the abstract graphs with this property. We show that all leveled embeddings are free and we compare leveled and paneled (also known as flat) embeddings. Two new graph invariants are introduced: the level number, an invariant for graphs that admit a leveled embedding, and the Hamiltonian level number, an invariant for Hamiltonian graphs. These invariants provide a measure on how far a graph is from being planar. We study the relation between the (Hamiltonian) level number and other graph invariants that minimize the decomposition of a graph in planar subgraphs, namely the thickness and the book thickness of a graph. We characterize graphs with low level number and determine both the level number and the Hamiltonian level number of complete graphs and of complete bipartite graphs.
Improved bounds for proper rainbow saturation
Given a graph $H$, we say that a graph $G$ is properly rainbow $H$-saturated if: (1) There is a proper edge colouring of $G$ containing no rainbow copy of $H$; (2) For every $e \notin E(G)$, every proper edge colouring of $G+e$ contains a rainbow copy of $H$. The proper rainbow saturation number $\text{sat}^*(n,H)$ is the minimum number of edges in a properly rainbow $H$-saturated graph. In this paper we use connections to the classical saturation and semi-saturation numbers to provide new upper bounds on $\text{sat}^*(n,H)$ for general cliques, cycles, and complete bipartite graphs. We also provide some general lower bounds on $\text{sat}^*(n,H)$ and explore several other interesting directions.
Spanning weakly even trees of graphs
Let $G$ be a graph (with multiple edges allowed) and let $T$ be a tree in $G$. We say that $T$ is $\textit{even}$ if every leaf of $T$ belongs to the same part of the bipartition of $T$, and that $T$ is $\textit{weakly even}$ if every leaf of $T$ that has maximum degree in $G$ belongs to the same part of the bipartition of $T$. We confirm two recent conjectures of Jackson and Yoshimoto by showing that every connected graph that is not a regular bipartite graph has a spanning weakly even tree.
An NP-hardness result for the colored constrained maximum 2-edge-colorable subgraph problem in bipartite graphs
In this paper, we consider the maximum $k$-edge-colorable subgraph problem. In this problem we are given a graph $G$ and a positive integer $k$, the goal is to take $k$ matchings of $G$ such that their union contains maximum number of edges. This problem is NP-hard in cubic graphs, and polynomial-time solvable in bipartite graphs as we observe in our paper. We present an NP-hardness result for a version of this problem where we have color constraints on vertices. In fact, we show that this version is NP-hard already in bipartite graphs of maximum degree three. In order to achieve the result, we establish a connection between our problem and the problem of construction of special maximum matchings considered in the Master thesis of the author and defended back in 2003.
The vertex-pancyclicity of the simplified shuffle-cube and the vertex-bipancyclicity of the balanced shuffle-cube
A graph $G$ $=$ $(V,E)$ is vertex-pancyclic if for every vertex $u$ and any integer $l$ ranging from $3$ to $|V|$, $G$ contains a cycle $C$ of length $l$ such that $u$ is on $C$. A bipartite graph $G$ $=$ $(V,E)$ is vertex-bipancyclic if for every vertex $u$ and any even integer $l$ ranging from $4$ to $|V|$, $G$ contains a cycle $C$ of length $l$ such that $u$ is on $C$. The simplified shuffle-cube and the balanced shuffle-cube, which are two variants of the shuffle-cube and are superior to shuffle-cube in terms of vertex-transitivity. In this paper, we show that the $n$-dimensional simplified shuffle-cube is vertex-pancyclic for $n\geqslant 6$, and the $n$-dimensional balanced shuffle-cube is vertex-bipancyclic for $n\geqslant 2$.
Total Domination Index in Graphs
This paper introduces the concept of compliant vertices and compliant graphs, with a focus on the total domination degree (TDD) of a vertex in compliant graphs. The TDD is systematically calculated for various graph classes, including path graphs, cycles, book graphs, windmill graphs, wheel graphs, complete graphs, and complete bipartite graphs. The study explores inequalities involving TDD and defines total domination regular graphs. Furthermore, the TDD is analyzed in several graph operations such as union, join, composition, and corona, with a discussion on the property of the resulting graphs. The paper also examines the subdivision of complete graphs and degree splitting of path graphs. In the subsequent section, the total domination index (TDI) is introduced, and its values are calculated for different graph classes. The study concludes with bounds for the TDI across these graph classes.
Abelian and stochastic sandpile models on complete bipartite graphs
In the sandpile model, vertices of a graph are allocated grains of sand. At each unit of time, a grain is added to a randomly chosen vertex. If that causes its number of grains to exceed its degree, that vertex is called unstable, and topples. In the Abelian sandpile model (ASM), topplings are deterministic, whereas in the stochastic sandpile model (SSM) they are random. We study the ASM and SSM on complete bipartite graphs. For the SSM, we provide a stochastic version of Dhar's burning algorithm to check if a given (stable) configuration is recurrent or not, with linear complexity. We also exhibit a bijection between sorted recurrent configurations and pairs of compatible Ferrers diagrams. We then provide a similar bijection for the ASM, and also interpret its recurrent configurations in terms of labelled Motzkin paths.
Invariants of Bipartite Kneser B type-\MakeLowercase{k} graphs
Let $\mathscr{B}_n = \{ \pm x_1, \pm x_2, \pm x_3, \cdots, \pm x_{n-1}, x_n \}$ where $n>1$ is fixed, $x_i \in \mathbb{R}^+$, $i = 1, 2, 3, \cdots, n$ and $x_1 < x_2 < x_3 < \cdots < x_n$. Let $φ(\mathscr{B}_n)$ be the set of all non-empty subsets $S = \{u_1, u_2,\cdots, u_t\}$ of $\mathscr{B}_n$ such that $|u_1|<|u_2|<\cdots <|u_{t-1}|<u_t $ where $u_t\in \mathbb{R}^+$. Let $\mathscr{B}_n^+ = \{ x_1, x_2, x_3, \cdots, x_{n-1}, x_n \}$. For a fixed $k$, let $V_1$ be the set of $k$-element subsets of $\mathscr{B}_n^+$, $1 \leq k <n$. $V_2= φ(\mathscr{B}_n)-V_1$. For any $A \in V_2$, let $A^\dagger = \{\lvert x \rvert: x \in A\}$. Define a bipartite graph with parts $V_1$ and $V_2$ and having adjacency as $X \in V_1$ is adjacent to $Y\in V_2$ if and only if $X \subset Y^\dagger$ or $Y^\dagger \subset X$. A graph of this type is called a bipartite Kneser B type-$k$ graph and denoted by $H_B(n,k)$. In this paper, we calculated various graph invariants of $H_B(n,k)$.
Gallai's Path Decomposition of Levi Graph
Gallai's path decomposition conjecture states that for a connected graph $G$ on $n$ vertices, there exists a path decomposition of size $\lceil \frac{n}{2} \rceil$. The Levi graph of order one, denoted by $L_{1}(m,k)$, is a bipartite graph with vertex partition $(A,B)$, where $A$ is the collection of all $(k-1)$-element subsets of $[m]$, and $B$ is the collection of all $k$-element subsets of $[m]$. In this graph, a $(k-1)$-element subset is adjacent to a $k$-element subset if and only if it is properly contained within the $k$-element subset. The path number of a graph $G$ is the minimum size of its path decomposition. Gallai's conjecture can be seen as a conjecture on the upper bound of the path number of a connected graph. In this work, we prove the conjecture for $L_{1}(m,k)$ for all $m \ge 2 $ and $2 \le k \le m$. Moreover, we determine the path number of $L_{1}(m,2)$ for all $m$.
Induced subgraphs of $K_r$-free graphs and the Erdős--Rogers problem
For two graphs $F,H$ and a positive integer $n$, the function $f_{F,H}(n)$ denotes the largest $m$ such that every $H$-free graph on $n$ vertices contains an $F$-free induced subgraph on $m$ vertices. This function has been extensively studied in the last 60 years when $F$ and $H$ are cliques and became known as the Erdős-Rogers function. Recently, Balogh, Chen and Luo, and Mubayi and Verstraëte initiated the systematic study of this function in the case where $F$ is a general graph.
Answering, in a strong form, a question of Mubayi and Verstraëte, we prove that for every positive integer $r$ and every $K_{r-1}$-free graph $F$, there exists some $\varepsilon_F>0$ such that $f_{F,K_r}(n)=O(n^{1/2-\varepsilon_F})$. This result is tight in two ways. Firstly, it is no longer true if $F$ contains $K_{r-1}$ as a subgraph. Secondly, we show that for all $r\geq 4$ and $\varepsilon>0$, there exists a $K_{r-1}$-free graph $F$ for which $f_{F,K_r}(n)=Ω(n^{1/2-\varepsilon})$. Along the way of proving this, we show in particular that for every graph $F$ with minimum degree $t$, we have $f_{F,K_4}(n)=Ω(n^{1/2-6/\sqrt{t}})$. This answers (in a strong form) another question of Mubayi and Verstraëte. Finally, we prove that there exist absolute constants $0<c<C$ such that for each $r\geq 4$, if $F$ is a bipartite graph with sufficiently large minimum degree, then $Ω(n^{\frac{c}{\log r}})\leq f_{F,K_r}(n)\leq O(n^{\frac{C}{\log r}})$. This shows that for graphs $F$ with large minimum degree, the behaviour of $f_{F,K_r}(n)$ is drastically different from that of the corresponding off-diagonal Ramsey number $f_{K_2,K_r}(n)$.