bipartite graph
2574 papers tagged with this keyword
Turán-type problems on $[a,b]$-factors of graphs, and beyond
Published in Electronic Journal of Combinatorics, 2024
• View Publication
• BIB
Given a set of graphs $\mathcal{H}$, we say that a graph $G$ is \textit{$\mathcal{H}$-free} if it does not contain any member of $\mathcal{H}$ as a subgraph. Let $\text{ex}(n,\mathcal{H})$ (resp. $\text{ex}_{sp}(n,\mathcal{H})$) denote the maximum size (resp. spectral radius) of an $n$-vertex $\mathcal{H}$-free graph. Denote by $\text{Ex}(n, \mathcal{H})$ the set of all $n$-vertex $\mathcal{H}$-free graphs with $\text{ex}(n, \mathcal{H})$ edges. Similarly, let $\mathrm{Ex}_{sp}(n,\mathcal{H})$ be the set of all $n$-vertex $\mathcal{H}$-free graphs with spectral radius $\text{ex}_{sp}(n, \mathcal{H})$. For positive integers $a, b$ with $a\leqslant b$, an $[a,b]$-factor of a graph $G$ is a spanning subgraph $F$ of $G$ such that $a\leqslant d_F(v)\leqslant b$ for all $v\in V(G)$, where $d_F(v)$ denotes the degree of the vertex $v$ in $F.$ Let $\mathcal{F}_{a,b}$ be the set of all the $[a,b]$-factors of an $n$-vertex complete graph $K_n$. In this paper, we determine the Turán number $\text{ex}(n,\mathcal{F}_{a,b})$ and the spectral Turán number $\text{ex}_{sp}(n,\mathcal{F}_{a,b}),$ respectively. Furthermore, the bipartite analogue of $\text{ex}(n,\mathcal{F}_{a,b})$ (resp. $\text{ex}_{sp}(n,\mathcal{F}_{a,b})$) is also obtained. All the corresponding extremal graphs are identified. Consequently, one sees that $\mathrm{Ex}_{sp}(n,\mathcal{F}_{a,b})\subseteq \text{Ex}(n, \mathcal{F}_{a,b})$ holds for graphs and bipartite graphs. This partially answers an open problem proposed by Liu and Ning \cite{LN2023}. Our results may deduce a main result of Fan and Lin \cite{FL2022}.
Phase transition of degenerate Turán problems in $p$-norms
Published
• View Publication
• BIB
For a positive real number $p$, the $p$-norm $\left\lVert G \right\rVert_p$ of a graph $G$ is the sum of the $p$-th powers of all vertex degrees. We study the maximum $p$-norm $\mathrm{ex}_{p}(n,F)$ of $F$-free graphs on $n$ vertices. Füredi and Kündgen \cite{FK06} show that for every bipartite graph $F$, there exists a threshold $p_F$ such that for $p< p_{F}$, the order of $\mathrm{ex}_{p}(n,F)$ is governed by pseudorandom constructions, while for $p > p_{F}$, it is governed by star-like constructions, assuming a mild assumption on the growth rate of $\mathrm{ex}(n,F)$. The main contribution of our paper is extending this result to hypergraph. Moreover, in the case of graph, our proof differs from that in \cite{FK06}, offering the advantage of producing the correct constant factor when $p > p_{F}$.
When $p = p_F$, Füredi and Kündgen proved a general upper bound on $\mathrm{ex}_{p}(n,F)$, tight up to a $\log n$ factor, and conjectured that this factor is unnecessary. We confirm this conjecture for several well-studied bipartite graphs, including one-side degree-bounded graphs and families of short even cycles.
Computing the permanental polynomial of $4k$-intercyclic bipartite graphs
Published in American Journal of Combinatorics, 3:35-43, (2024)
• View Publication
• BIB
Let $G$ be a bipartite graph with adjacency matrix $A(G)$. The characteristic polynomial $φ(G,x)=\det(xI-A(G))$ and the permanental polynomial $π(G,x) = \text{per}(xI-A(G))$ are both graph invariants used to distinguish graphs. For bipartite graphs, we define the modified characteristic polynomial, which is obtained by changing the signs of some of the coefficients of $φ(G,x)$. For $4k$-intercyclic bipartite graphs, i.e., those for which the removal of any $4k$-cycle results in a $C_{4k}$-free graph, we provide an expression for $π(G,x)$ in terms of the modified characteristic polynomial of the graph and its subgraphs. Our approach is purely combinatorial in contrast to the Pfaffian orientation method found in the literature to compute the permanental polynomial.
Tiling randomly perturbed bipartite graphs
A perfect $H$-tiling in a graph $G$ is a collection of vertex-disjoint copies of a graph $H$ in $G$ that covers all vertices of $G$. Motivated by papers of Bush and Zhao and of Balogh, Treglown, and Wagner, we determine the threshold for the existence of a perfect $K_{h,h}$-tiling of a randomly perturbed bipartite graph with linear minimum degree.
Induced subgraphs and tree decompositions XVII. Anticomplete sets of large treewidth
Two sets $X, Y$ of vertices in a graph $G$ are "anticomplete" if $X\cap Y=\varnothing$ and there is no edge in $G$ with an end in $X$ and an end in $Y$. We prove that every graph $G$ of sufficiently large treewidth contains two anticomplete sets of vertices each inducing a subgraph of large treewidth unless $G$ contains, as an induced subgraph, a highly structured graph of large treewidth that is an obvious counterexample to this statement. These are: complete graphs, complete bipartite graphs and "interrupted $s$-constellations." The latter is a slightly adjusted version of a well-known construction by Bonamy et al.
Strong parity edge-colorings of graphs
Published
• View Publication
• BIB
An edge-coloring of a graph $G$ assigns a color to each edge of $G$. An edge-coloring is a parity edge-coloring if for each path $P$ in $G$, it uses some color on an odd number of edges in $P$. It is a strong parity edge-coloring if for every open walk $W$ in $G$, it uses some color an odd number of times along $W$. The minimum numbers of colors in parity and strong parity edge-colorings of $G$ are denoted $p(G)$ and $\hat{p}(G)$, respectively.
We characterize strong parity edge-colorings and use this characterization to prove lower bounds on $\hat{p}(G)$ and answer several questions of Bunde, Milans, West, and Wu. The applications are as follows. (1) We prove the conjecture that $\hat{p}(K_{s,t})=s \circ t$, where $s \circ t$ is the Hopf-Stiefel function. (2) We show that $\hat{p}(G)$ for a connected $n$-vertex graph $G$ equals the known lower bound $\lceil \log_2 n \rceil$ if and only if $G$ is a subgraph of the hypercube $Q_{\lceil \log_2 n \rceil }$. (3) We asymptotically compute $\hat{p}(G)$ when $G$ is the $\ell$th distance-power of a path, proving $\hat{p}(P_n^\ell)\sim\ell \lceil {\log_2 n} \rceil$. (4) We disprove the conjecture that $\hat{p}(G)=p(G)$ when $G$ is bipartite by constructing bipartite graphs $G$ such that $\hat{p}(G)/p(G)$ is arbitrarily large; in particular, with $\hat{p}(G)\ge\frac{1-o(1)}3 k\ln k$ and $p(G)\le2k+k^{1/3}$.
Completing partial $k$-star designs
Published
• View Publication
• BIB
A $k$-star is a complete bipartite graph $K_{1,k}$. A partial $k$-star design of order $n$ is a pair $(V,\mathcal{A})$ where $V$ is a set of $n$ vertices and $\mathcal{A}$ is a set of edge-disjoint $k$-stars whose vertex sets are subsets of $V$. If each edge of the complete graph with vertex set $V$ is in some star in $\mathcal{A}$, then $(V,\mathcal{A})$ is a (complete) $k$-star design. We say that $(V,\mathcal{A})$ is completable if there is a $k$-star design $(V,\mathcal{B})$ such that $\mathcal{A} \subseteq \mathcal{B}$. In this paper we determine, for all $k$ and $n$, the minimum number of stars in an uncompletable partial $k$-star design of order $n$.
Asymptotics for the number of bipartite graphs with fixed surplus
In a recent work on the bipartite Erdős-Rényi graph, Do et al. (2023) established upper bounds on the number of connected labeled bipartite graphs with a fixed surplus. We use some recent encodings of bipartite random graphs in order to provide a probabilistic formula for the number of bipartite graphs with fixed surplus. Using this, we obtain asymptotics as the number of vertices in each class tend to infinity.
Long induced paths in sparse graphs and graphs with forbidden patterns
Consider a graph $G$ with a path $P$ of order $n$. What conditions force $G$ to also have a long induced path? As complete bipartite graphs have long paths but no long induced paths, a natural restriction is to forbid some fixed complete bipartite graph $K_{t,t}$ as a subgraph. In this case we show that $G$ has an induced path of order $(\log \log n)^{1/5-o(1)}$. This is an exponential improvement over a result of Galvin, Rival, and Sands (1982) and comes close to a recent upper bound of order $O((\log \log n)^2)$.
Another way to approach this problem is by viewing $G$ as an ordered graph (where the vertices are ordered according to their position on the path $P$). From this point of view it is most natural to consider which ordered subgraphs need to be forbidden in order to force the existence of a long induced path. Focusing on the exclusion of ordered matchings, we improve or recover a number of existing results with much simpler proofs, in a unified way. We also show that if some forbidden ordered subgraph forces the existence of a long induced path in $G$, then this induced path has size at least $Ω((\log \log \log n)^{1/3})$, and can be chosen to be increasing with respect to $P$.
The number of trees in distance-hereditary graphs and their friends
Published
• View Publication
• BIB
Counting the number of spanning trees in specific classes of graphs has attracted increasing attention in recent years. In this note, we present unified proofs and generalizations of several results obtained in the 2020s. The main method is to study the behavior of the vertex (degree) enumerator of a distance-hereditary graph under the operations of copying vertices.
Ehrenborg conjecture says that a Ferrer--Young graph maximizes the number of spanning trees among bipartite graphs with the same degree sequence. The second result of this paper is the equivalence of the Ehrenborg conjecture and its polynomial form.
Some results on $σ_{t}$-irregularity
Published
• View Publication
• BIB
The $σ_{t}$-irregularity (or sigma total index) is a graph invariant which is defined as $σ_{t}(G)=\sum_{\{u,v\}\subseteq V(G)}(d(u)-d(v))^{2},$ where $d(z)$ denotes the degree of $z$. This irregularity measure was proposed by R\' {e}ti [Appl. Math. Comput. 344-345 (2019) 107-115], and recently rediscovered by Dimitrov and Stevanović [Appl. Math. Comput. 441 (2023) 127709]. In this paper we remark that $σ_{t}(G)=n^{2}\cdot Var(G)$, where $Var(G)$ is the degree variance of the graph. Based on this observation, we characterize irregular graphs with maximum $σ_{t}$-irregularity. We show that among all connected graphs on $n$ vertices, the split graphs $S_{\lceil\frac{n}{4}\rceil, \lfloor\frac{3n}{4}\rfloor }$ and $S_{\lfloor\frac{n}{4}\rfloor, \lceil\frac{3n}{4}\rceil }$ have the maximum $σ_{t}$-irregularity, and among all complete bipartite graphs on $n$ vertices, either the complete bipartite graph $K_{\lfloor\frac{n}{4}(2-\sqrt{2})\rfloor, \lceil\frac{n}{4}(2+\sqrt{2})\rceil }$ or $K_{\lceil\frac{n}{4}(2-\sqrt{2})\rceil, \lfloor\frac{n}{4}(2+\sqrt{2})\rfloor }$ has the maximum sigma total index. Moreover, various upper and lower bounds for $σ_{t}$-irregularity are provided; in this direction we give a relation between the graph energy $\mathcal{E}(G)$ and sigma total index $σ_{t}(G)$ and give another proof of two results by Dimitrov and Stevanović. Applying Fiedler's characterization of the largest and the second smallest Laplacian eigenvalue of the graph, we also establish new relationships between $σ_{t}$ and $σ$. We conclude the paper with two conjectures.
The Number of Spanning Trees for The Generalized Cones of $K_n$, The Generalized Half Cones of $K_{m,n}$ and Some Family of Modified $K_{m,n}$
We compute the total number of spanning trees for the generalized cone of the complete graph $K_n$ and a number of families of some modified bipartite graphs $K_{m,n}$. In particular, we obtain a new method of finding the number of spanning trees of $K_n$ and $K_{m,n}$. Our method relies on the vertex deletion formula for the number of spanning trees.
Facet-Hamiltonicity
Published
• View Publication
• BIB
We consider facet-Hamiltonian cycles of polytopes, defined as cycles in their skeleton such that every facet is visited exactly once. These cycles can be understood as optimal watchman routes that guard the facets of a polytope. We consider the existence of such cycles for a variety of polytopes, the facets of which have a natural combinatorial interpretation. In particular, we prove the following results:
- Every permutahedron has a facet-Hamiltonian cycle. These cycles consist of circular sequences of permutations of $n$ elements, where two successive permutations differ by a single adjacent transposition, and such that every subset of $[n]$ appears as a prefix in a contiguous subsequence. With these cycles we associate what we call rhombic strips which encode interleaved Gray codes of the Boolean lattice, one Gray code for each rank. These rhombic strips correspond to simple Venn diagrams.
- Every generalized associahedron has a facet-Hamiltonian cycle. This generalizes the so-called rainbow cycles of Felsner, Kleist, Mütze, and Sering (SIDMA 2020) to associahedra of any finite type. We relate the constructions to the Conway-Coxeter friezes and the bipartite belts of finite type cluster algebras.
- Graph associahedra of wheels, fans, and complete split graphs have facet-Hamiltonian cycles. For associahedra of complete bipartite graphs and caterpillars, we construct facet-Hamiltonian paths. The construction involves new insights on the combinatorics of graph tubings.
We also consider the computational complexity of deciding whether a given polytope has a facet-Hamiltonian cycle and show that the problem is NP-complete, even when restricted to simple 3-dimensional polytopes.
A note on the lacking polynomial of the complete bipartite graph
Published
• View Publication
• BIB
The lacking polynomial is a graph polynomial introduced by Chan, Marckert, and Selig in 2013 that is closely related to the Tutte polynomial of a graph. It arose by way of a generalization of the Abelian sandpile model and is essentially the generating function of the level statistic on the set of recurrent configurations, called stochastically recurrent states, for that model. In this note we consider the lacking polynomial of the complete bipartite graph. We classify the stochastically recurrent states of the stochastic sandpile model on the complete bipartite graphs $K_{2,n}$ and $K_{m,2}$ where the sink is always an element of the set counted by the first index. We use these characterizations to give explicit formulae for the lacking polynomials of these graphs. Log-concavity of the sequence of coefficients of these two lacking polynomials is proven, and we conjecture log-concavity holds for this general class of graphs.
Higher homological algebra for one-point extensions of bipartite hereditary algebras and spectral graph theory
In this article we study higher homological properties of $n$-levelled algebras and connect them to properties of the underlying graphs. Notably, to each $2$-representation-finite quadratic monomial algebra $Λ$ we associate a bipartite graph $\overline{B_Λ}$ and we classify all such algebras $Λ$ for which $\overline{B_Λ}$ is regular or edge-transitive. We also show that if $\overline{B_Λ}$ is semi-regular, then it is a reflexive graph.
The minimum size of 2-connected chordal bipartite graphs
A bipartite graph is chordal bipartite if every cycle of length at least six contains a chord. We determine the minimum size in 2-connected chordal bipartite graphs with given order.
The existence of biregular spanning subgraphs in bipartite graphs via spectral radius
Biregular bipartite graphs have been proven to have similar edge distributions to random bipartite graphs and thus have nice pseudorandomness and expansion properties. Thus it is quite desirable to find a biregular bipartite spanning subgraph in a given bipartite graph. In fact, a theorem of Ore implies a structural characterization of such subgraphs in bipartite graphs. In this paper, we demonstrate the existence of biregular bipartite spanning subgraphs in bipartite graphs by employing spectral radius. We also study the existence of spanning trees with restricted degrees and edge-disjoint spanning trees in bipartite graphs via spectral radius.
Locally seeded embeddings, and Ramsey numbers of bipartite graphs with sublinear bandwidth
A seminal result of Lee asserts that the Ramsey number of any bipartite $d$-degenerate graph $H$ satisfies $\log r(H) = \log n + O(d)$. In particular, this bound applies to every bipartite graph of maximal degree $Δ$. It remains a compelling challenge to identify conditions that guarantee that an $n$-vertex graph $H$ has Ramsey number linear in $n$, independently of $Δ$. Our contribution is a characterization of bipartite graphs with linear-size Ramsey numbers in terms of graph bandwidth, a notion of local connectivity. We prove that for any $n$-vertex bipartite graph $H$ with maximal degree at most $Δ$ and bandwidth $b(H)$ at most $\exp(-CΔ\logΔ)\,n$, we have $\log r(H) = \log n + O(1)$. This characterization is nearly optimal: for every $Δ$ there exists an $n$-vertex bipartite graph $H$ of degree at most $Δ$ and $b(H) \leq \exp(-cΔ)\,n$, such that $\log r(H) = \log n + Ω(Δ)$. We also provide bounds interpolating between these two bandwidth regimes.
On a conjecture of Nikiforov concerning the minimal $p$-energy of connected graphs
Published
• View Publication
• BIB
For a given simple graph \( G \), the \( p \)-energy of \( G \), denoted by \( \mathcal{E}_p(G) \), is defined as the sum of the \( p \)-th power of the absolute values of the eigenvalues of its adjacency matrix. Let \( S_n \) denote the star graph with one internal node and \( n-1 \) leaves. Nikiforov conjectured that for \( 1 < p < 2 \), the connected graph of order \( n \) with the smallest \( p \)-energy is \( S_n \). Recently, this conjecture was proved for bipartite graphs. In this paper, by employing a Coulson-Jacobs-type formula and certain spectral radius results for connected graphs, we completely resolve this conjecture. Furthermore, we establish that the equality condition in the inequality \( \mathcal{E}_p(G) \geq \mathcal{E}_p(S_n) \) holds if and only if \( G \) is \( S_n \).
Chordal bipartite graphs, biclique vertex partitions and Castelnuovo-Mumford regularity of $1$-subdivision graphs
A biclique in a graph $G$ is a complete bipartite subgraph (not necessarily induced), and the least positive integer $k$ for which the vertex set of $G$ can be partitioned into at most $k$ bicliques is the biclique vertex partition number $bp(G)$ of $G$. We prove that the inequality $reg(S(G))\geq |G|-bp(G)$ holds for every graph $G$, where $S(G)$ is the $1$-subdivision graph of $G$ and $reg(S(G))$ denotes the (Castelnuovo-Mumford) regularity of the graph $S(G)$. In particular, we show that the equality $reg(S(B))=|B|-bp(B)$ holds provided that $B$ is a chordal bipartite graph. Furthermore, for every chordal bipartite graph $B$, we prove that the independence complex of $S(B)$ is either contractible or homotopy equivalent to a sphere, and provide a polynomial time checkable criteria for when it is contractible, and describe the dimension of the sphere when it is not.