Unmixed bipartite graphs

Regularity, Depth and Arithmetic Rank of Bipartite Edge Ideals

We study minimal free resolutions of edge ideals of bipartite graphs. We associate a directed graph to a bipartite graph whose edge ideal is unmixed, and give expressions for the regularity and the depth of the edge ideal in terms of invariants of the directed graph. For some classes of unmixed edge ideals, we show that the arithmetic rank of the ideal equals projective dimension of its quotient.

Binomial edge ideals of bipartite graphs

We classify the bipartite graphs $G$ whose binomial edge ideal $J_G$ is Cohen-Macaulay. The connected components of such graphs can be obtained by gluing a finite number of basic blocks with two operations. In this context we prove the converse of a well-known result due to Hartshorne, showing that the Cohen-Macaulayness of these ideals is equivalent to the connectedness of their dual graphs. We study interesting properties also for non-bipartite graphs and in the unmixed case, constructing classes of bipartite graphs with $J_G$ unmixed and not Cohen-Macaulay.

cactus和chordal图的非混杂奇偶二项式边理想分类

Classification of unmixed parity binomial edge ideals of cactus and chordal graphs

本文基于图的结构性质，研究cactus和chordal图的非混杂和Cohen-Macaulay奇偶二项式边理想的分类问题。

Some Cohen-Macaulay and unmixed binomial edge ideals

We study unmixed and Cohen-Macaulay properties of the binomial edge ideal of some classes of graphs. We compute the depth of the binomial edge ideal of a generalized block graph. We also characterize all generalized block graphs whose binomial edge ideals are Cohen-Macaulay and unmixed. So that we generalize the results of Ene, Herzog and Hibi on block graphs. Moreover, we study unmixedness and Cohen-Macaulayness of the binomial edge ideal of some graph products such as the join and corona of two graphs with respect to the original graphs'.

Unmixed Graphs that are Domains

Given an arbitrary graph G, we study its basic covers algebra, which is the symbolic fiber cone of the Alexander dual of the edge ideal of G. Extending results of Villarreal and Benedetti-Constantinescu-Varbaro, valid only in the case when G is bipartite, we characterize in a combinatorial fashion the situations when: 1) the basic covers algebra is a domain, and 2) it is a domain and in addition (the edge ideal of) G is unmixed. It turns out that the last result gives a complete characterization of those graphs for which any symbolic power of the edge ideal is generated by monomials of the sam…

Unmixed and Cohen--Macaulay weighted oriented König graphs

Let $D$ be a weighted oriented graph, whose underlying graph is $G$, and let $I(D)$ be its edge ideal. If $G$ has no $3$-, $5$-, or $7$-cycles, or $G$ is König, we characterize when $I(D)$ is unmixed. If $G$ has no $3$- or $5$-cycles, or $G$ is König, we characterize when $I(D)$ is Cohen--Macaulay. We prove that $I(D)$ is unmixed if and only if $I(D)$ is Cohen--Macaulay when $G$ has girth greater than $7$ or $G$ is König and has no $4$-cycles.

Non-vanishing of Betti numbers of edge ideals and complete bipartite subgraphs

Given a finite simple graph one can associate the edge ideal. In this paper we prove that a graded Betti number of the edge ideal does not vanish if the original graph contains a set of complete bipartite subgraphs with some conditions. Also we give a combinatorial description for the projective dimension of the edge ideals of unmixed bipartite graphs.

Boolean graphs are unmixed and vertex decomposable

For each Boolean graph $B_n$, it is proved that both $B_n$ and its complement graph $\overline{B_n}$ are vertex decomposable. It is also proved that $B_n$ is an unmixed graph, thus it is also Cohen-Macaulay.

Almost Cohen-Macaulay bipartite graphs and connected in codimension two

In this paper we study almost Cohen-Macaulay bipartite graphs. Furthermore, we prove that if $G$ is almost Cohen-Macaulay bipartite graph with at least one vertex of positive degree, then there is a vertex of $°(v) \leq 2$. In particular, if $G$ is an almost Cohen-Macaulay bipartite graph and $u$ is a vertex of degree one of $G$ and $v$ its adjacent vertex, then $G\setminus\{v\}$ is almost Cohen-Macaulay. Also, we show that an unmixed Ferrers graph is almost Cohen-Macaulay if and only if it is connected in codimension two. Moreover, we give some examples.

Gorenstein homogeneous subrings of graphs

Let $G=(V,E)$ be a connected simple graph, with $n$ vertices such that $S$ is its homogeneous monomial subring. We prove that if $S$ is normal and Gorenstein, then $G$ is unmixed with cover number $\lceil\frac{n}{2}\rceil$ and $G$ has a strong $\lceil\frac{n}{2}\rceil$-$τ$-reduction. Furthermore, if $n$ is even, then we show that $G$ is bipartite. Finally, if $S$ is normal and $G$ is unmixed whose cover number is $\lceil\frac{n}{2}\rceil$, we give sufficient conditions for $S$ to be Gorenstein.

Cohen-Macaulay edge-weighted edge ideals of very well-covered graphs

We characterize unmixed and Cohen-Macaulay edge-weighted edge ideals of very well-covered graphs. We also provide examples of oriented graphs which have unmixed and non-Cohen-Macaulay vertex-weighted edge ideals, while the edge ideal of their underlying graph is Cohen-Macaulay. This disproves a conjecture posed by Pitones, Reyes and Toledo.

图的覆盖理想的v-数与线性呈现

The v-numbers and linear presentations of ideals of covers of graphs

本文研究图的覆盖理想的v-数及其线性呈现性质，通过顶点覆盖的交换性质刻画v-数的极值，并对非混合图及König图给出线性呈现的组合分类条件。

Edge Ideals of Weighted Graphs

We study weighted graphs and their "edge ideals" which are ideals in polynomial rings that are defined in terms of the graphs. We provide combinatorial descriptions of m-irreducible decompositions for the edge ideal of a weighted graph in terms of the combinatorics of "weighted vertex covers". We use these, for instance, to say when these ideals are m-unmixed. We explicitly describe which weighted cycles, suspensions, and trees are unmixed and which ones are Cohen-Macaulay, and we prove that all weighted complete graphs are Cohen-Macaulay.

Cohen-Macaulay 加权弦图

Cohen-Macaulay weighted chordal graphs

本文刻画了所有 Cohen-Macaulay 加权弦图，证明其 Cohen-Macaulay 性等价于无混合性。

Vertex decomposability and regularity of very well-covered graphs

A graph $G$ is well-covered if it has no isolated vertices and all the maximal independent sets have the same cardinality. If furthermore two times this cardinality is equal to $|V(G)|$, the graph $G$ is called very well-covered. The class of very well-covered graphs contains bipartite well-covered graphs. Recently in \cite{CRT} it is shown that a very well-covered graph $G$ is Cohen-Macaulay if and only if it is pure shellable. In this article we improve this result by showing that $G$ is Cohen-Macaulay if and only if it is pure vertex decomposable. In addition, if $I(G)$ denotes the edge ide…

排列图的代数研究

Algebraic study on permutation graphs

本文研究排列图的代数性质，证明了 Cohen-Macaulay 性等价于无混合且顶点可分解，并给出了 $a$-不变量及 Gorenstein 排列图的刻画。

Bounds on the regularity and projective dimension of ideals associated to graphs

In this paper we give new upper bounds on the regularity of edge ideals whose resolutions are k-steps linear; surprisingly, the bounds are logarithmic in the number of variables. We also give various bounds for the projective dimension of such ideals, generalizing other recent results. By Alexander duality, our results also apply to unmixed square-free monomial ideals of codimension two. We also discuss and connect these results to more classical topics in commutative algebra.

On the Hilbert series of vertex cover algebras of Cohen-Macaulay bipartite graphs

We study the Hilbert function and the Hilbert series of the vertex cover algebra $A(G)$, where $G$ is a Cohen-Macaulay bipartite graph.

Bipartite $S_2$ graphs are Cohen-Macaulay

In this paper we show that if the Stanley-Reisner ring of the simplicial complex of independent sets of a bipartite graph $G$ satisfies Serre's condition $S_2$, then $G$ is Cohen-Macaulay. As a consequence, the characterization of Cohen-Macaulay bipartite graphs due to Herzog and Hibi carries over this family of bipartite graphs. We check that the equivalence of Cohen-Macaulay property and the condition $S_2$ is also true for chordal graphs and we classify cyclic graphs with respect to the condition $S_2$.

Enumeration of bipartite graphs and bipartite blocks

Using the theory of combinatorial species, we compute the cycle index for bipartite graphs, which we use to count unlabeled bipartite graphs and bipartite blocks.

A Bipartite Graph That Is Not the $γ$-Graph of a Bipartite Graph

For a graph $G = (V, E)$, the $γ$-graph of $G$ is the graph whose vertex set is the collection of minimum dominating sets, or $γ$-sets of $G$, and two $γ$-sets are adjacent if they differ by a single vertex and the two different vertices are adjacent in $G$. An open question in $γ$-graphs is whether every bipartite graph is the $γ$-graph of some bipartite graph. We answer this question in the negative by demonstrating that $K_{2, 3}$ is not the $γ$-graph of any bipartite graph.

通过展开非二部图构造同谱图

Constructing cospectral graphs by unfolding non-bipartite graphs

本文将二部图的展开操作推广到非二部图，利用自反二部图、半自反二部图和多部图的展开构造邻接矩阵同谱但不同构的图。

On totally antimagic total labeling of complete bipartite graphs

This paper deals with the problem of finding totally antimagic total labelings of complete bipartite graphs. We prove that complete bipartite graphs are totally antimagic total graphs. We also show that the join of complete bipartite graphs with one vertex is a totally antimagic total graph

通过谱半径研究二部图中双正则生成子图的存在性

The existence of biregular spanning subgraphs in bipartite graphs via spectral radius

本文利用谱半径证明二部图中存在双正则二部生成子图，并进一步研究度数受限生成树与边不相交生成树的存在条件。

On the bipartite graph packing problem

The graph packing problem is a well-known area in graph theory. We consider a bipartite version and give almost tight conditions on the packability of two bipartite sequences.

The connectivity of a bipartite graph and its bipartite complementary graph

In 1956, Nordhaus and Gaddum gave lower and upper bounds on the sum and the product of the chromatic number of a graph and its complement, in terms of the order of the graph. Since then, any bound on the sum and/or the product of an invariant in a graph $G$ and the same invariant in the complement $G^c$ of $G$ is called a Nordhaus-Gaddum type inequality or relation. The Nordhaus-Gaddum type inequalities for connectivity have been studied by several authors. For a bipartite graph $G=G[X,Y]$ with bipartition ($X,Y$), its bipartite complementary graph $G^{bc}$ is a bipartite graph with $V(G^{bc})…

Symmetric Bipartite Graphs and Graphs with Loops

We show that if the two parts of a finite bipartite graph have the same degree sequence, then there is a bipartite graph, with the same degree sequences, which is symmetric, in that it has an involutive graph automorphism that interchanges its two parts. To prove this, we study the relationship between symmetric bipartite graphs and graphs with loops.

可数齐次有序二部图的分类

Countable homogeneous ordered bipartite graphs

本文对所有可数齐次有序二部图进行了完整分类。

The structure and the number of $P_7$-free bipartite graphs

We show that the number of labelled $P_7$-free bipartite graphs with $n$ vertices grows as $n^{Θ(n)}$. This resolves an open problem posed by Allen [P. Allen, Forbidden induced bipartite graphs. J. Graph Theory 60 (2009), no. 3, 219--241.], and completes the description of speeds of monogenic classes of bipartite graphs. Our solution is based on a new decomposition scheme of bipartite graphs, which is of independent interest.

On new record graphs close to bipartite Moore graphs

The modelling of interconnection networks by graphs motivated the study of several extremal problems that involve well known parameters of a graph (degree, diameter, girth and order) and ask for the optimal value of one of them while holding the other two fixed. Here we focus in {\em bipartite Moore graphs\/}, that is, bipartite graphs attaining the optimum order, fixed either the degree/diameter or degree/girth. The fact that there are very few bipartite Moore graphs suggests the relaxation of some of the constraints implied by the bipartite Moore bound. First we deal with {\em local bipartit…

2-连通弦二分图的最小尺寸

The minimum size of 2-connected chordal bipartite graphs

本文研究2-连通弦二分图的边数下界，确定了任意给定阶数下此类图的最小尺寸。

关于二分图中的$P$-顶点问题

The Full P-vertex Problem and Perfect Matchings for Bipartite Graphs

研究二分图中性质(P)与完美匹配的关系，证明性质(P)等价于完美匹配存在的条件，并应用于多类二分图族。

Chordal Bipartite Graphs with High Boxicity

The boxicity of a graph G is defined as the minimum integer k such that G is an intersection graph of axis-parallel k-dimensional boxes. Chordal bipartite graphs are bipartite graphs that do not contain an induced cycle of length greater than 4. It was conjectured by Otachi, Okamoto and Yamazaki that chordal bipartite graphs have boxicity at most 2. We disprove this conjecture by exhibiting an infinite family of chordal bipartite graphs that have unbounded boxicity.

二分图的特征值交错以及利用二分图的顶点分裂构造Expander码

Eigenvalue Interlacing of Bipartite Graphs and Construction of Expander Code using Vertex-split of a Bipartite Graph

该研究证明了二分图邻接矩阵与二分商矩阵的特征值交错关系及特征值界，提出二分图顶点分裂法构造渐近良好Expander码，证明了相关连通性与扩张性结论。

具有同构共振图的外平面二部图

Outerplane bipartite graphs with isomorphic resonance graphs

本文研究了2-连通外平面二部图的同构共振图，给出了其结构刻画，并分别用共振有向图和内部对偶的局部结构提供了两种等价表征。

A note on the largest induced matching in graphs avoiding a fixed bipartite graph

We give a simple proof that every $n$-vertex graph $d$-regular graph that does not contain a fixed bipartite graph as a subgraph has an induced matching of size $Ω((n/d)(\log d))$.

The Weisfeiler-Leman dimension of chordal bipartite graphs without bipartite claw

A graph $X$ is said to be chordal bipartite if it is bipartite and contains no induced cycle of length at least $6$. It is proved that if $X$ does not contain bipartite claw as an induced subgraph, then the Weisfeiler-Leman dimension of $X$ is at most $3$. The proof is based on the theory of coherent configurations.

The study of odd graceful and odd strongly harmonious for bipartite graph

In this paper, we investigate odd graceful graph, odd strongly harmonious graph, bipartite graph and their relationship. We proved following results: (1) if G is odd strongly harmonious graph, then G is odd graceful graph ;(2) if G is bipartite odd graceful graph, then G is odd strongly harmonious graph.

The niche graphs of bipartite tournaments

In this paper, we completely characterize the niche graphs of bipartite tournaments and find their interesting properties.

Planar graphs without short even cycles are near-bipartite

A graph is {\em near-bipartite} if its vertex set can be partitioned into an independent set and a set that induces a forest. It is clear that near-bipartite graphs are $3$-colorable. In this note, we show that planar graphs without cycles of lengths in $\{4, 6, 8\}$ are near-bipartite.

Bipartite Minors

We introduce a notion of bipartite minors and prove a bipartite analog of Wagner's theorem: a bipartite graph is planar if and only if it does not contain $K_{3,3}$ as a bipartite minor. Similarly, we provide a forbidden minor characterization for outerplanar graphs and forests. We then establish a recursive characterization of bipartite $(2,2)$-Laman graphs --- a certain family of graphs that contains all maximal bipartite planar graphs.

Spanning trees in complete bipartite graphs and resistance distance in nearly complete bipartite graphs

Using the theory of electrical network, we first obtain a simple formula for the number of spanning trees of a complete bipartite graph containing a certain matching or a certain tree. Then we apply the effective resistance (i.e., resistance distance in graphs) to find a formula for the number of spanning trees in the nearly complete bipartite graph $G(m,n,p)=K_{m,n}-pK_2$ $(p\leq \min\{m,n\})$, which extends a recent result by Ye and Yan who obtained the effective resistances and the number of spanning trees in $G(n,n,p)$. As a corollary, we obtain the Kirchhoff index of $G(m,n,p)$ which exte…

Spectral characterizations of two families of nearly complete bipartite graphs

It is not hard to find many complete bipartite graphs which are not determined by their spectra. We show that the graph obtained by deleting an edge from a complete bipartite graph is determined by its spectrum. We provide some graphs, each of which is obtained from a complete bipartite graph by adding a vertex and an edge incident on the new vertex and an original vertex, which are not determined by their spectra.

On $m$-step competition graphs of bipartite tournaments

In this paper, we completely characterize the $m$-step competition graph of a bipartite tournament for any integer $m \ge 2$. In addition, we compute the competition index and the competition period of a bipartite tournament.

On large bipartite graphs of diameter 3

We consider the bipartite version of the {\it degree/diameter problem}, namely, given natural numbers $d\ge2$ and $D\ge2$, find the maximum number $\N^b(d,D)$ of vertices in a bipartite graph of maximum degree $d$ and diameter $D$. In this context, the bipartite Moore bound $\M^b(d,D)$ represents a general upper bound for $\N^b(d,D)$. Bipartite graphs of order $\M^b(d,D)$ are very rare, and determining $\N^b(d,D)$ still remains an open problem for most $(d,D)$ pairs. This paper is a follow-up to our earlier paper \cite{FPV12}, where a study on bipartite $(d,D,-4)$-graphs (that is, bipartite gr…

On bipartite graphs of defect at most 4

We consider the bipartite version of the degree/diameter problem, namely, given natural numbers Δ \geq 2 and D \geq 2, find the maximum number Nb(Δ,D) of vertices in a bipartite graph of maximum degree Δ and diameter D. In this context, the Moore bipartite bound Mb(Δ,D) represents an upper bound for Nb(Δ,D). Bipartite graphs of maximum degree Δ, diameter D and order Mb(Δ,D), called Moore bipartite graphs, have turned out to be very rare. Therefore, it is very interesting to investigate bipartite graphs of maximum degree Δ \geq 2, diameter D \geq 2 and order Mb(Δ,D) - εwith small ε> 0, that is,…

Classification of 2-extendable bipartite and cubic non-bipartite vertex-transitive graphs

In \cite{Chan95}, the authors classified the 2-extendable abelian Cayley graphs and posed the problem of characterizing all 2-extendable Cayley graphs. We first show that a connected bipartite Cayley (vertex-transitive) graph is 2-extendable if and only if it is not a cycle. It is known that a non-bipartite Cayley (vertex-transitive) graph is 2-extendable when it is of minimum degree at least five \cite{sun}. We next classify all 2-extendable cubic non-bipartite Cayley graphs and obtain that: a cubic non-bipartite Cayley graph with girth $g$ is 2-extendable if and only if $g\geq 4$ and it does…

Ramsey numbers for bipartite graphs with small bandwidth

We estimate Ramsey numbers for bipartite graphs with small bandwidth and bounded maximum degree. In particular we determine asymptotically the two and three color Ramsey numbers for grid graphs. More generally, we determine asymptotically the two color Ramsey number for bipartite graphs with small bandwidth and bounded maximum degree and the three color Ramsey number for such graphs with the additional assumption that the bipartite graph is balanced.

Graphs whose Kronecker covers are bipartite Kneser graphs

We show that there are $k$ simple graphs whose Kronecker covers are isomorphic to the bipartite Kneser graph $H(n,k)$, and that their chromatic numbers coincide with $χ(K(n,k)) = n - 2k + 2$. We also determine the automorphism groups of these graphs.

A characterisation of Pfaffian near bipartite graphs

In 1967 Kasteleyn introduced a powerful method for enumerating the 1-factors of planar graphs. In fact his method can be extended to graphs which permit an orientation under which every alternating circuit is clockwise odd. Graphs with this property are called {\it Pfaffian}. Little characterised Pfaffian bipartite graphs in terms of forbidden subgraphs in 1975. We extend his characterisation to near bipartite graphs.

Bipartite partial duals and circuits in medial graphs

It is well known that a plane graph is Eulerian if and only if its geometric dual is bipartite. We extend this result to partial duals of plane graphs. We then characterize all bipartite partial duals of a plane graph in terms of oriented circuits in its medial graph.

Planar graphs without cycles of length from 4 to 7 are near-bipartite

A graph is near-bipartite if its vertex set can be partitioned into an independent set and a set which induces a forest. In this paper, planar graphs without cycles of length from 4 to 7 are shown to be near-bipartite.

Characterizing Bipartite Graphs which Admit k-NU Polymorphisms via Absolute Retracts

We first introduce the class of bipartite absolute retracts with respect to tree obstructions with at most $k$ leaves. Then, using the theory of homomorphism duality, we show that this class of absolute retracts coincides exactly with the bipartite graphs which admit a $(k+1)$-ary near-unanimity (NU) polymorphism. This result mirrors the case for reflexive graphs and generalizes a known result for bipartite graphs admitting a $3$-NU polymorphism.

Bipartite complements of circle graphs

Using an algebraic characterization of circle graphs, Bouchet proved in 1999 that if a bipartite graph $G$ is the complement of a circle graph, then $G$ is a circle graph. We give an elementary proof of this result.