  A large portion of today's big data can be represented as networks. However,
not all networks are the same, and in fact, for many that have additional
complexities to their structure, traditional general network analysis methods
are no longer applicable. For example, signed networks contain both positive
and negative links, and thus dedicated theories and algorithms have been
developed. However, previous work mainly focuses on the unipartite setting
where signed links connect any pair of nodes. Signed bipartite networks on the
one hand, are commonly found, but have primarily been overlooked. Their
complexities of having two node types where signed links can only form across
the two sets introduce challenges that prevent most existing literature on
unipartite signed and unsigned bipartite networks from being applied. On the
other hand, balance theory, a key signed social theory, has been generally
defined for cycles of any length and is being used in the form of triangles for
numerous unipartite signed network tasks. However, in bipartite networks there
are no triangles and furthermore there exist two types of nodes. Therefore, in
this work, we conduct the first comprehensive analysis and validation of
balance theory using the smallest cycle in signed bipartite networks - signed
butterflies (i.e., cycles of length 4 containing the two node types). Then, to
investigate the applicability of balance theory aiding signed bipartite network
tasks, we develop multiple sign prediction methods that utilize balance theory
in the form of signed butterflies. Our sign prediction experiment on three
real-world signed bipartite networks demonstrates the effectiveness of using
these signed butterflies for not only sign prediction, but paves the way for
improvements in other signed bipartite network analysis tasks.
