Bipartite Graphs as Polynomials, and Polynomials as Bipartite Graphs (with a view towards dividing in $\mathbb{N}[x],$ $\mathbb{N}[x,y]$)
Andrey Grinblat, Viktor Lopatkin

TL;DR
This paper establishes a correspondence between bipartite graphs and polynomials in natural number semirings, providing new insights into graph operations, polynomial division, and topological structures on graphs.
Contribution
It introduces a novel representation of bipartite graphs as polynomials in $ [x]$ and $ [x,y]$, linking graph operations to polynomial algebra and topology.
Findings
Graph-polynomial correspondence for undirected and directed bipartite graphs
Polynomial multiplication corresponds to graph operations
A new perspective on division in semirings $ [x]$, $ [x,y]$
Abstract
The aim of this paper is to show that any finite undirected bipartite graph can be considered as a polynomial , and any directed finite bipartite graph can be considered as a polynomial , and vise verse. We also show that the multiplication in semirings , correspondences to a operations of the corresponding graphs which looks like a ``perturbed'' products of graphs. As an application, we give a new point of view to dividing in semirings , . Finally, we endow the set of all bipartite graphs with the Zariski topology.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsGraph theory and applications · Advanced Combinatorial Mathematics
BIPARTITE GRAPHS as POLYNOMIALS, and POLYNOMIALS AS BIPARTITE GRAPHS
(WITH A VIEW TOWARDS DIVIDING IN , )
Abstract.
The aim of this paper is to show that any finite undirected bipartite graph can be considered as a polynomial , and any directed finite bipartite graph can be considered as a polynomial , and vise verse. We also show that the multiplication in semirings , correspondences to a operations of the corresponding graphs which looks like a “perturbed” products of graphs. As an application, we give a new point of view to dividing in semirings , . Finally, we endow the set of all bipartite graphs with the Zariski topology.
Mathematics Subject Classifications: 05C20, 05C25, 05C76, 11R09, 16Y60, 68W10, 05C25, 12Y05, 05C31, 13F20, 13B25
Key words: Bipartite graphs; dividing in semirings; Petri nets; polynomials; Winskel’s morphisms; the Zariski topology.
Andrey [email protected] and Viktor [email protected], please use this email for contacting.
Introduction
In this paper we show that any finite bipartite graph can be considered as a polynomial , and any finite directed bipartite graph can be considered as a polynomial and vise versa. To be more precisely, we consider any (directed) bipartite graph with an injection map on the set of its vertices, i.e., we label every vertex by some natural number. For every pair we construct (see Constructions 2.1) a polynomial and a polynomial (see Construction 4.1)) if is directed. Next, we present an inverse procedure (see Construction 2.4), namely, for any polynomial we construct a bipartite graph with a “natural” injection and we prove that (see Proposition 2.2). Furthermore, we show that for every two polynomials their multiplication correspondences to a an operation of the corresponding graphs , we call it polynomial product and we denote it by . A graph looks like the product “perturbed” by (see Definition 3.3, Proposition 3.1). Further, we shall also see that the sum correspondences to a graph that can be obtained from and by “attaching to each other” by its natural injections (see Definition 3.5 and Proposition 3.2). Similar results for directed bipartite graphs are obtained in Sections 4,5.
Finally, all of this enables us to consider dividing in semirings , via (directed) bipartite graph point of view (see Section 6 and Example 6.3), and to introduce the Zariski topology on the set of all finite (directed) bipartite graphs. With respect to this topology, in particular, we get an one-to-one correspondence between the set of all prime ideals of (resp. ) and the set of all irreducible bipartite graphs (Theorem 6.2).
Acknowledgements: the authors would like to express their deepest gratitude to Prof. Ernst W. Mayr, who has drawn the author’s attention to the graph point of view of some Petri nets problems studied by authors before this work, and for having kindly clarified some very important details. Special thanks are due to Prof. Glynn Winskel for useful discussions. We are also grateful to Prof. Ilias S. Kotsireas.
1. Preliminaries
Here we recall some definitions and notations that will be frequently used.
Definition 1.1**.**
An isomorphism of graphs and is a bijection between the sets and such that any two vertices of are adjacent in if and only if and are adjacent in .
Recall that a bipartite graph or bigraph is a graph whose vertices can be divided into two disjoint and independent sets such that every edge connects a vertex in to one in . Vertex sets and are usually called the parts of the graph.
We often write to denote a bipartite graph whose partition has the parts and , with denoting the edges of the graph. Further, we say that is a bipartition of .
Lemma 1.1**.**
[1, Property 2.1.1]** A connected bipartite graph has a unique bipartition.
The definition of an isomorphism of graphs and the previous lemma imply the following
Lemma 1.2**.**
Let , be connected bipartite graphs. Then they are isomorphic if and only if there exist bijections either , or , such that any two vertices , are adjacent in if and only if and are adjacent in .
Proof.
Indeed, let be an isomorphism. It is clear that is a bipartition of . Using Lemma 1.1 we complete the proof. ∎
Thus, without loss of generality, we can say that an isomorphism between two connected bipartite graphs and is a pair of bijections , such that any two vertices , are adjacent in if and only if and are adjacent in . We shall then write
[TABLE]
We shall also deal with bipartite directed graphs. Recall that a directed graph is a graph whose edges have been oriented. We sometimes call these edges arcs or directed edges, and when referring to the endpoints of an arc, say an arc is directed from head to tail. For an arc , we denote by and its head and tail respectively, and we thus can write .
Thus, a bipartite directed graph is a directed graph whose vertices can be divided into two disjoin and independent sets such that every arc connects a vertex in to one in . Vertex sets , are also called the parts of the graph.
We often write to denote a bipartite directed graph whose partition has the parts and , with denoting the arcs of the graph.
Similarly one can easy to define an isomorphism of two connected bipartite graphs. Namely, take two connected bipartite directed graphs , . We sat that an isomorphism between them is a pair of bijections such that if and only if .
Definition 1.2**.**
Let be a binary decomposition of . Set if and otherwise. It is obviously that implies that and vise versa.
Take a polynomial and set
[TABLE]
Lemma 1.3**.**
Let ; then if and only if .
Proof.
It suffices to prove that for any two integers , if and only if , and then the statement follows rather easily.
Let and . Assume that . It follows that , where , i.e., Conversely, let and . We have for every . This implies that . But, on the other hand, we have , a contradiction that completes the proof. ∎
2. Bipartite Graph Polynomials
In this section we introduce main constructions and we prove some properties of them. Further we consider products of bipartite graph in the context of the constructions.
2.1. Main Constructions and Properties
Given a bipartite graph , where is a set of its vertices. We are going to construct a polynomial and show that every polynomial from the semiring gives a bipartite graph . We then show that for every bipartite graph .
Construction 2.1**.**
Let be a bipartite graph and an injection. Set , where , if we put .
Example 2.2**.**
Let us consider the following bipartite graph .
[TABLE]
Let , and . We then have
[TABLE]
Thus, .
Remark 2.3**.**
It is easy to see that if a bipartite graph has isolated vertices belong to then , where is its polynomial. Moreover it is also easy to see that if has connected components then its polynomial is a sum of the corresponding polynomials of its components. We shall consider this case more clearly later.
Proposition 2.1**.**
Let , be two connected bipartite graphs; if there is an isomorphism , then , where is an arbitrary injection.
Roughly speaking two connected bipartite graphs are isomorphic if and only if they have the same polynomial.
Proof.
Let and , , for every , . We have
[TABLE]
where . Hence , as claimed. ∎
So, we have constructed a polynomial for every bipartite graph. Now, we want to present an inverse procedure. We use Definition 1.2.
Construction 2.4**.**
Let be a finite subset. Let be a polynomial. Take and consider a set of some elements. Construct a bipartite graph , where
[TABLE]
and an injection , which we call the natural injection, are defined as Isolated vertices of this graph belong to and have a form .
Example 2.5**.**
Take a polynomial . We have . Since , , we then have
[TABLE]
hence .
Next,
[TABLE]
and we thus obtain the following bipartite graph
[TABLE]
Proposition 2.2**.**
Let be a bipartite graph and an injection. The graphs and are isomorphic.
Proof.
Let . Fix and let be a set of all vertices are connected with . Thus , and hence , i.e., .
Next, let , by Construction 2.4, , where .
We thus get . It is obviously that for a fixed , the set one to one correspondences to the set . Further, from Construction 2.1 it follows that , hence . Thus there exist bijections between and . Finally, since is an injection we complete the proof. ∎
3. Algebraic Operations on Bipartite Graphs
3.1. Polynomial Product of Bigraphs
In this subsection we introduce a binary operation on labeled bipartite graphs. We call this operation polynomial product because of it is defined by the product of its polynomials. This operation, as we can see below, is a generalization of the usual product of graphs.
We start with the following examples.
Example 3.1**.**
Let us consider the following bigraphs and , where , , , (see the figure below):
[TABLE]
Let , be given as follows:
[TABLE]
then , and .
Consider the polynomial ,
[TABLE]
We obtain , because of
[TABLE]
and , and hence has the following form
[TABLE]
It is easy to see that . Indeed,by
[TABLE]
the isomorphism is clear.
Example 3.2**.**
Let us consider the same graphs as before
[TABLE]
but we define , as follows:
[TABLE]
i.e., .
We obtain , and . We get
[TABLE]
Then , , and , and hence has the following form
[TABLE]
To understand how this graph can be obtained by , , let us consider the product more precisely. We have
[TABLE]
Set
[TABLE]
Hence can be reimaged as follows
[TABLE]
We see that the graph looks like the product “perturbed” by . To be more precisely, we introduce a binary operation which generalizes the product of graphs.
Definition 3.3**.**
Given two bigraphs with injections , . Their polynomial product , is defied as follows
[TABLE]
Proposition 3.1**.**
Let , be two bigraphs and let , be two arbitrary injections. Then , where:
[TABLE]
Proof.
The proof is immediately follows from Construction 2.1, product of polynomials, and Construction 2.4. ∎
Corollary 3.1**.**
If then .
Proof.
Indeed if then by Lemma 1.3, the statement follows. ∎
3.2. Polynomial Coproduct of Bigraphs
Here we show that sum of two graph polynomials correspondences to a simple operations on labeled bigraphs.
Example 3.4**.**
Let us consider the following bigraphs , which are shown below
[TABLE]
Define injections , as follows
[TABLE]
We obtain
[TABLE]
hence
[TABLE]
then
[TABLE]
Construct . We get
[TABLE]
Then the graph can be imaged as follows
[TABLE]
This Example implies to introduce the following
Definition 3.5**.**
Let , be two bigraphs with injections , . Their polynomial sum is called a graph with , , where whenever , and .
Proposition 3.2**.**
Let , be two bigraphs with injections , . Then
[TABLE]
Proof.
Indeed, we have
[TABLE]
where , . Since : . Further, by Construction 4.3, , and hence , as claimed. ∎
Corollary 3.2**.**
If , then .
Proof.
The proof immediately follows from the previous Proposition. ∎
4. Bipartite Digraph Polynomials
We start from the following procedure allows to construct a polynomial from a given bipartite digraph .
Given a bipartite digraph , set , and for any .
Construction 4.1**.**
Let be a bipartite digraph and an injection. Set where
[TABLE]
we put (reps. ) if (resp. ).
Example 4.2**.**
Let us consider the following bipartite digraph which is shown below
[TABLE]
Define an injections as follows: , . We then get
[TABLE]
hence
Proposition 4.1**.**
Let , be two connected bipartite directed graphs; if there is an isomorphism , then , where is an arbitrary injection.
Proof.
Let and , , for every , . We then obtain
[TABLE]
and hence , as claimed. ∎
So, we have constructed a polynomial for every bipartite directed graph and the previous result implies the following
Corollary 4.1**.**
Two connected bipartite directed graphs , are isomorphic if and only if there are injections , such that .
Now, we want to present an inverse procedure; for a given polynomial we construct a bipartite directed graph with a natural injection such that .
Construction 4.3**.**
Let be a finite subset, a polynomial. For every , we consider a set of some elements. Set , where
[TABLE]
and putting for any we thus determine the natural injection .
Example 4.4**.**
Let us consider the polynomial . Using Construction 4.3, we obtain
[TABLE]
because of , and . Next,
[TABLE]
and the corresponding graph can be presented as follows:
[TABLE]
Proposition 4.2**.**
Let be a bipartite digraph and be an injection. The graphs and are isomorphic.
Proof.
Let and .
From Construction 4.3 it follows that , since the map is injective we thus get the following bijection
Set and for any . We then can write
[TABLE]
Further, by Construction 4.1, , and by Construction 4.3,. Hence, there exist bijections between the sets and and this completes the proof. ∎
5. Algebraic Operations on Bipartite Digraphs
5.1. Polynomial Product of Bipartite Digraphs
In this subsection we introduce a binary operation on labeled bipartite digraphs. We also (as in 3.1) call these operation a polynomial product because of it is defined by the product of its polynomial.
We start with examples.
Example 5.1**.**
Let us consider the following bipartite digraphs: , , , , :
[TABLE]
Let , be given as follows:
[TABLE]
We get:
[TABLE]
then
[TABLE]
Further, let ,
[TABLE]
Construct . Using , , , , , , and , we get .
Next,
[TABLE]
We thus get the following graph
[TABLE]
It is not so hard to see that . Indeed, set
[TABLE]
and the isomorphism is clear.
Example 5.2**.**
Let us consider the same bipartite digraphs as in the previous example: , , , , :
[TABLE]
Let , be given as follows:
[TABLE]
We get:
[TABLE]
then
[TABLE]
Further, let ,
[TABLE]
We obtain
[TABLE]
Hence, the graph has the following form:
[TABLE]
As in the case of undirected bigrpaphs, we also see that the graph for the previous examples looks like the product “perturbed” by elements of the set . This example motivates to introduce the following construction.
Definition 5.3**.**
Let , be two directed bigraphs, , two arbitrary injections. Their polynomial product , is defined as follows
[TABLE]
On the other hand, using Construction 4.1, definition of product of polynomials in , and Construction 4.3, we get
Proposition 5.1**.**
The polynomial product can be described as a directed bigraph with
[TABLE]
Proof.
The proof is straightforward. ∎
Corollary 5.1**.**
If then
Proof.
The proof immediately follows by using Lemma 1.3. ∎
5.2. Polynomial Coproduct of Directed Bigraphs
Here we show that sum of two directed bipartite graph polynomials correspondences to a simple operations on labeled directed bigraphs.
We start with an Example.
Example 5.4**.**
Let us turn to the previous example. We have: , , , , :
[TABLE]
and , are given as follows:
[TABLE]
and then
[TABLE]
Consider the following polynomial . We obtain:
[TABLE]
and the graph has the following form
[TABLE]
Roughly speaking, the graph is an attaching the graph to by the map .
Definition 5.5**.**
Let , be two directed bigraphs with injections , . Their polynomial sum is defined as follows
[TABLE]
On the other hand, by Constructions 4.1, 4.3, we get the following description of this operation.
Proposition 5.2**.**
, where
[TABLE]
here is defined as follows: whenever , for , .
Proof.
The proof is straightforward. ∎
Corollary 5.2**.**
If , then .
Proof.
The proof immediately follows from Lemma 1.3. ∎
6. Dividing of polynomials with coefficients in natural numbers
In this section we discuss a criteria of dividing polynomials semirings , via bipartite graphs.
We consider only undirected bipartite graphs (i.e., we consider dividing in the semiring ), but analogous results (for ), using Section 4,5, one can easy obtain for directed bipartite graphs.
As we have already known any (directed) bipartite graph can be considered as a polynomial (resp. ) and vise verse. Thus, if we take a polynomial, say, then is irreducible if and only if the graph cannot be presented as a polynomial product , of two graphs , with and where , are suitable injections.
To be more precisely let us introduce the following concept.
Definition 6.1**.**
A (directed) bipartite graph is called irreducible if there is no an injection , and there are no two graphs , with , such that , where , .
Otherwise, a graph is called reducible, and in the case , we say that , are its polynomial factors.
Thus, we get the following criteria of dividing polynomials in .
Theorem 6.2**.**
A polynomial is irreducible if and only if the graph is irreducible.
Moreover, if the graph is not irreducible, say, , where , , and , , then in .
Proof.
The proof is immediately follows from Construction 2.4, Construction 2.1, and Proposition 3.1. ∎
Let us demonstrate this idea in the following Example.
Example 6.3**.**
Let us consider a polynomial . Using Construction 2.4, we have , , , hence . Further, , and then , and therefore we get the following graph
[TABLE]
Let us consider now the following graphs and :
[TABLE]
and set , . One can easy verify that . Indeed, by
[TABLE]
the isomorphism is clear.
Further, by Construction 2.1, , . Hence
[TABLE]
Remark 6.4**.**
We have seen that this point of view on dividing in semerings , looks interesting, and the authors are going to study these problems (to simplify the criteria) in the future papers.
7. The Zariski Topology on Bipartite Graphs
As well known, every commutative (semi)ring can be endowed with the Zariski topology [2].
Namely, as in the case of (associative commutative) rings, we can introduce ideals of semirings. An ideal of a semiring is a nonempty subset of satisfying the following conditions: (1) if then ; (2) if and then ; (3) .
Let be an a (commutative) semiring with unit, an ideal is called prime if and only if whenever , for , we must have either or The spectrum of , denoted , is the set of all prime ideals of . The set can be equipped with the Zariski topology, for which the closed sets are the sets
[TABLE]
where is an ideal. Then, it is easy to see that:
- (1)
, for every family of ideals of ,
- (2)
for every pair of ideals of .
A basis for the Zariski topology can be constructed as follows. For , define . Then each is an open subset of , and is a basis for the Zariski topology.
We are now able to present the following
Theorem 7.1**.**
Let be a finite (directed) bipartite graph. Let be a set of all reducible finite (directed) bipartite graphs, such that is a polynomial factor of . The set \mathscr{P}_{\Phi}:=\bigl{\{}(\Gamma=(U,V,E),\varphi)\bigr{\}} of all finite (directed) bipartite graphs with fixed injections , can be endowed with a topology (the Zariski topology) which is a collection of the closed subsets .
Proof.
It is obviously that this topology arises from the Zariski topology on in the case undirected bipartite graphs, and on in the case directed bipartite graphs. Using Constructions 2.1, 2.4 (resp. Construction4.1, 4.3), we complete the proof. ∎
Corollary 7.1**.**
Every irreducible (directed) bipartite graph is the closed point, namely , in the topological space .
Proof.
As well known, closed points in the Zariski topology of correspondence to maximal ideals of . Since is undecomposable then from Theorem 6.2 it follows that the ideal is maximal, for an arbitrary injection . This completes the proof. ∎
8. Application: Paralyzation of Petri Nets
Petri nets are a tool for graphical and mathematical simulation, applicable to many systems. The are systems for describing and studying information processing systems that are characterized as being concurrent, asynchronous, distributed, parallel, nondeterministic, and/or stochastic. As a graphical tool, Petri nets can be used as a visual communication aid similar to flow charts, block diagrams, and networks. In addition, tokens are used in these nets to simulate the dynamics and concurrent activities of systems. As far as its being a mathematical tool, it is possible to set up state equations, algebraic equations, and other mathematical models governing the behavior of systems.
G. Winskel in [3] noticed that Petri nets can be viewed as certain 2-sorted algebras; it allows defining the concept of morphisms for Petri nets as homomorphisms of the corresponding algebras. Thus, the category of Petri nets is defined. The product of two Petri nets is defined in [4].
In this section we recall some basic definitions of Petri nets theory. We essentially follow [3, 4] to define morphisms and product for Petri nets and we thus define Petri net category
Definition 8.1**.**
A Petri net is a quadruple , where
- (1)
, are disjoint finite sets of conditions and events, respectively,
- (2)
is the precondition map such that is nonempty for all ,
- (3)
is the postcondition map such that is nonempty for all .
Petri nets have a well-known graphical representation in which events are represented as boxes and conditions as circles with directed arcs between them (see fig.1).
Let be a Petri net with the events . Define . We extend the and condition maps to by taking , . We also write for the preconditions, and for the postcondition, , of . We write for .
Definition 8.2** (cf. [3, 4]).**
Let , be Petri nets. A morphism consists of a relation , such that (=opposite to ) is a partial function , and a partial function such that , and On the other hand, the diagrams
[TABLE]
are commutative.
Proposition 8.1** ([4, Proposition 44]).**
Nets and their morphisms form a category , in which the composition of two morphisms and is (composition in the left component being that of relations and in the right that of partial functions).
Remark 8.3** **(Isomorphism in the category ).
Recall that a morphism in a category is an isomorphism if it admits a two-sided inverse, meaning that there is another morphism such that and , where and are the identity morphisms of and , respectively. We use the standard notation .
Thus, the morphism is an isomorphism in the category , if there is another morphism such that the following diagrams
[TABLE]
are commutative. It follows that, in the case when and are finite then an isomorphism between them is a pair of two bijections such that the aforementioned diagrams are commutative.
In [4], it was defined the product of Petri nets.
Definition 8.4** **(Product of Petri nets).
Let be Petri nets. Their product it has the events , the product in with the projections and . Its conditions have the form , the disjoint union of and . Define to be the opposite relation to the injection . Define similarly. Define the pre and post conditions of an event in the product in terms of its pre and post conditions in the components by
[TABLE]
If either or , then we say that is the factors of and is decomposable. Otherwise, we say that is undecomposable.
As we have seen any Petri net can be considered as a bipartite directed graphs, hence all above results are true for Petri net. In particular, we get the following criteria of decomposition (=parallalization) of Petri nets.
Theorem 8.5**.**
Let (N,\varphi)=\bigl{(}(B,E_{*},\mathsf{pre},\mathsf{post}),\varphi\bigr{)} be a Petri net with an injection , let such that . Then if and only if , in the category .
In particular, a Petri net is decomposable if and only if the polynomial , for an arbitrary choice of an injection , is decomposable over , i.e., for some , and .
Example 8.6**.**
Let us consider the following Petri net which is shown in Fig.3.
Set and . Then , and , and we get .
It is not hard to see that . Let and . It is clear that By Construction 4.3, we get the Petri nets and (see fig.4). It is easy to see that .
The reference list from the paper itself. Each links out to its DOI / PubMed record.
- 1[1] A.S. Asratian, T.M.J. Denley and R. Häggkvist, Bipartite Graphs and their Applications , Cambridge University Press 1998.
- 2[2] J.S. Golan, Semirings and their Applications. Updated and expanded version of The theory of semirings, with applications to mathematics and theorical computer science. (Longman Sci. Tech., Harlow, 1992.) Kluwer Academic Publishers, Dordrecht, 1999. xii+381 pp.
- 3[3] G. Winskel, Petri nets, algebras, morphisms and compositionality, Information Computation , 1987.
- 4[4] G. Winskel and M. Nielsen. Models of Concurrency. Handbook of Logic in Computer Science, IV , ed. Abamsky, Gabbay and Maibaum. Oxford University Press, (1995) 1–148.
