bipartite graph
2514 papers tagged with this keyword
Ramsey properties of algebraic graphs and hypergraphs
Published
• View Publication
• BIB
One of the central questions in Ramsey theory asks how small can be the size of the largest clique and independent set in a graph on $N$ vertices. By the celebrated result of Erdős from 1947, the random graph on $N$ vertices with edge probability $1/2$, contains no clique or independent set larger than $2\log_2 N$, with high probability. Finding explicit constructions of graphs with similar Ramsey-type properties is a famous open problem. A natural approach is to construct such graphs using algebraic tools. Say that an $r$-uniform hypergraph $\mathcal{H}$ is \emph{algebraic of complexity $(n,d,m)$} if the vertices of $\mathcal{H}$ are elements of $\mathbb{F}^{n}$ for some field $\mathbb{F}$, and there exist $m$ polynomials $f_1,\dots,f_m:(\mathbb{F}^{n})^{r}\rightarrow \mathbb{F}$ of degree at most $d$ such that the edges of $\mathcal{H}$ are determined by the zero-patterns of $f_1,\dots,f_m$. The aim of this paper is to show that if an algebraic graph (or hypergraph) of complexity $(n,d,m)$ has good Ramsey properties, then at least one of the parameters $n,d,m$ must be large. In 2001, Rónyai, Babai and Ganapathy considered the bipartite variant of the Ramsey problem and proved that if $G$ is an algebraic graph of complexity $(n,d,m)$ on $N$ vertices, then either $G$ or its complement contains a complete balanced bipartite graph of size $Ω_{n,d,m}(N^{1/(n+1)})$. We extend this result by showing that such $G$ contains either a clique or an independent set of size $N^{Ω(1/ndm)}$ and prove similar results for algebraic hypergraphs of constant complexity. We also obtain a polynomial regularity lemma for $r$-uniform algebraic hypergraphs that are defined by a single polynomial, that might be of independent interest. Our proofs combine algebraic, geometric and combinatorial tools.
The size of Betti tables of edge ideals arising from bipartite graphs
Published in Proc. Amer. Math. Soc. 150 (2022), no. 12, 5073-5083
• View Publication
• BIB
Let $\operatorname{pd}(I(G))$ and $\operatorname{reg}(I(G))$ respectively denote the projective dimension and the regularity of the edge ideal $I(G)$ of a graph $G$. For any positive integer $n$, we determine all pairs $(\operatorname{pd}(I(G)),\, \operatorname{reg}(I(G)))$ as $G$ ranges over all connected bipartite graphs on $n$ vertices.
Termination of Multipartite Graph Series Arising from Complex Network Modelling
Published
• View Publication
• BIB
An intense activity is nowadays devoted to the definition of models capturing the properties of complex networks. Among the most promising approaches, it has been proposed to model these graphs via their clique incidence bipartite graphs. However, this approach has, until now, severe limitations resulting from its incapacity to reproduce a key property of this object: the overlapping nature of cliques in complex networks. In order to get rid of these limitations we propose to encode the structure of clique overlaps in a network thanks to a process consisting in iteratively factorising the maximal bicliques between the upper level and the other levels of a multipartite graph. We show that the most natural definition of this factorising process leads to infinite series for some instances. Our main result is to design a restriction of this process that terminates for any arbitrary graph. Moreover, we show that the resulting multipartite graph has remarkable combinatorial properties and is closely related to another fundamental combinatorial object. Finally, we show that, in practice, this multipartite graph is computationally tractable and has a size that makes it suitable for complex network modelling.
Critical varieties in the Grassmannian
Published
• View Publication
• BIB
We introduce a family of spaces called critical varieties. Each critical variety is a subset of one of the positroid varieties in the Grassmannian. The combinatorics of positroid varieties is captured by the dimer model on a planar bipartite graph $G$, and the critical variety is obtained by restricting to Kenyon's critical dimer model associated to a family of isoradial embeddings of $G$. This model is invariant under square/spider moves on $G$, and we give an explicit boundary measurement formula for critical varieties which does not depend on the choice of $G$. This extends our recent results for the critical Ising model, and simultaneously also includes the case of critical electrical networks.
We systematically develop the basic properties of critical varieties. In particular, we study their real and totally positive parts, the combinatorics of the associated strand diagrams, and introduce a shift map motivated by the connection to zonotopal tilings and scattering amplitudes.
Polynomial time recognition of vertices contained in all (or no) maximum dissociation sets of a tree
Published
• View Publication
• BIB
In a graph G, a dissociation set is a subset of vertices which induces a subgraph with vertex degree at most 1. Finding a dissociation set of maximum cardinality in a graph is NP-hard even for bipartite graphs and is called the maximum dissociation set problem. The complexity of maximum dissociation set problem in various subclasses of graphs has been extensively studied in the literature. In this paper, we study the maximum dissociation problem from different perspectives and characterize the vertices belonging to all maximum dissociation sets, and to no maximum dissociation set of a tree. We present a linear time recognition algorithm which can determine whether a given vertex in a tree is contained in all (or no) maximum dissociation sets of the tree. Thus for a tree with n vertices, we can find all vertices belonging to all (or no) maximum dissociation sets of the tree in O(n^2) time.
Lower bounds on the Erdős-Gyárfás problem via color energy graphs
Published
• View Publication
• BIB
Given positive integers $p$ and $q$, a $(p,q)$-coloring of the complete graph $K_n$ is an edge-coloring in which every $p$-clique receives at least $q$ colors. Erdős and Shelah posed the question of determining $f(n,p,q)$, the minimum number of colors needed for a $(p,q)$-coloring of $K_n$. In this paper, we expand on the color energy technique introduced by Pohoata and Sheffer to prove new lower bounds on this function, making explicit the connection between bounds on extremal numbers and $f(n,p,q)$. Using results on the extremal numbers of subdivided complete graphs, theta graphs, and subdivided complete bipartite graphs, we generalize results of Fish, Pohoata, and Sheffer, giving the first nontrivial lower bounds on $f(n,p,q)$ for some pairs $(p,q)$ and improving previous lower bounds for other pairs.
Growing balanced covering sets
Published
• View Publication
• BIB
Given a bipartite graph with bipartition $(A,B)$ where $B$ is equipartitioned into $k\ge2$ blocks, can the vertices in $A$ be picked one by one so that at every step, the picked vertices cover roughly the same number of vertices in each of these blocks? We show that, if each block has cardinality $m$, the vertices in $B$ have the same degree, and each vertex in $A$ has at most $cm$ neighbors in every block where $c>0$ is a small constant, then there is an ordering $v_1,\ldots,v_n$ of the vertices in $A$ such that for every $j\in\{1,\ldots,n\}$, the numbers of vertices with a neighbor in $\{v_1,\ldots,v_j\}$ in every two blocks differ by at most $\sqrt{2(k-1)c}\cdot m$. This is related to a well-known lemma of Steinitz, and partially answers an unpublished question of Scott and Seymour.
On the spectral radius of graphs without a star forest
Published in Discrete Mathematics;2021
• View Publication
• BIB
In this paper, we present two sharp upper bounds for the spectral radius of (bipartite) graphs with forbidden a star forest and characterize all extremal graphs. Moreover, the minimum least eigenvalue of the adjacency matrix of graph with forbidden a star forest and all extremal graphs for graphs are obtained.
Scheduling with Machine Conflicts
Published
• View Publication
• BIB
We study the scheduling problem of makespan minimization while taking machine conflicts into account. Machine conflicts arise in various settings, e.g., shared resources for pre- and post-processing of tasks or spatial restrictions. In this context, each job has a blocking time before and after its processing time, i.e., three parameters. We seek for conflict-free schedules in which the blocking times of no two jobs intersect on conflicting machines. Given a set of jobs, a set of machines, and a graph representing machine conflicts, the problem SchedulingWithMachineConflicts (SMC), asks for a conflict-free schedule of minimum makespan.
We show that, unless $\textrm{P}=\textrm{NP}$, SMC on $m$ machines does not allow for a $\mathcal{O}(m^{1-\varepsilon})$-approximation algorithm for any $\varepsilon>0$, even in the case of identical jobs and every choice of fixed positive parameters, including the unit case. Complementary, we provide approximation algorithms when a suitable collection of independent sets is given. Finally, we present polynomial time algorithms to solve the problem for the case of unit jobs on special graph classes. Most prominently, we solve it for bipartite graphs by using structural insights for conflict graphs of star forests.
The chromatic profile of locally colourable graphs
Published in Combinatorics, Probability, and Computing 31, pages 976-1009, 2022
• View Publication
• BIB
The classical Andrásfai-Erdős-Sós theorem considers the chromatic number of $K_{r + 1}$-free graphs with large minimum degree, and in the case $r = 2$ says that any $n$-vertex triangle-free graph with minimum degree greater than $2/5 \cdot n$ is bipartite. This began the study of the chromatic profile of triangle-free graphs: for each $k$, what minimum degree guarantees that a triangle-free graph is $k$-colourable? The profile has been extensively studied and was finally determined by Brandt and Thomassé.
Triangle-free graphs are exactly those in which each neighbourhood is one-colourable. As a natural variant, Łuczak and Thomassé introduced the notion of a locally bipartite graph in which each neighbourhood is 2-colourable. Here we study the chromatic profile of the family of graphs in which every neighbourhood is $b$-colourable (locally $b$-partite graphs) as well as the family where the common neighbourhood of every $a$-clique is $b$-colourable. Our results include the chromatic thresholds of these families as well as showing that every $n$-vertex locally $b$-partite graph with minimum degree greater than $(1 - 1/(b + 1/7)) \cdot n$ is $(b + 1)$-colourable. Understanding these locally colourable graphs is crucial for extending the Andrásfai-Erdős-Sós theorem to non-complete graphs, which we develop elsewhere.
Prophet Matching Meets Probing with Commitment
We consider the online stochastic matching problem for bipartite graphs where edges adjacent to an online node must be probed to determine if they exist, based on known edge probabilities. Our algorithms respect commitment, in that if a probed edge exists, it must be used in the matching. We study this matching problem subject to a downward-closed constraint on each online node's allowable edge probes. Our setting generalizes the commonly studied patience (or time-out) constraint which limits the number of probes that can be made to an online node's adjacent edges. We introduce a new LP that we prove is a relaxation of an optimal offline probing algorithm (the adaptive benchmark) and which overcomes the limitations of previous LP relaxations.
(1) A tight $\frac{1}{2}$ ratio when the stochastic graph is generated from a known stochastic type graph where the $t^{th}$ online node is drawn independently from a known distribution $\scr{D}_{π(t)}$ and $π$ is chosen adversarially. We refer to this setting as the known i.d. stochastic matching problem with adversarial arrivals.
(2) A $1-1/e$ ratio when the stochastic graph is generated from a known stochastic type graph where the $t^{th}$ online node is drawn independently from a known distribution $\scr{D}_{π(t)}$ and $π$ is a random permutation. We refer to this setting as the known i.d. stochastic matching problem with random order arrivals.
Our results improve upon the previous best competitive ratio of $0.46$ in the known i.i.d. setting against the standard adaptive benchmark. Moreover, we are the first to study the prophet secretary matching problem in the context of probing, where we match the best known classical result.
Extremal problems of Erdős, Faudree, Schelp and Simonovits on paths and cycles
Published in J. Combin. Theory Ser. B 152 (2022), 399--414
• View Publication
• BIB
For positive integers $n>d\geq k$, let $φ(n,d,k)$ denote the least integer $φ$ such that every $n$-vertex graph with at least $φ$ vertices of degree at least $d$ contains a path on $k+1$ vertices. Many years ago, Erdős, Faudree, Schelp and Simonovits proposed the study of the function $φ(n,d,k)$, and conjectured that for any positive integers $n>d\geq k$, it holds that $φ(n,d,k)\leq \lfloor\frac{k-1}{2}\rfloor\lfloor\frac{n}{d+1}\rfloor+ε$, where $ε=1$ if $k$ is odd and $ε=2$ otherwise. In this paper we determine the values of the function $φ(n,d,k)$ exactly. This confirms the above conjecture of Erdős et al. for all positive integers $k\neq 4$ and in a corrected form for the case $k=4$. Our proof utilizes, among others, a lemma of Erdős et al. \cite{EFSS89}, a theorem of Jackson \cite{J81}, and a (slight) extension of a very recent theorem of Kostochka, Luo and Zirlin \cite{KLZ}, where the latter two results concern maximum cycles in bipartite graphs. Moreover, we construct examples to provide answers to two closely related questions raised by Erdős et al.
Values of the $\mathfrak{sl}_2$ weight system on complete bipartite graphs
Published in Functional Analysis and Its Applications, 54(3), 208-223 (2020)
• View Publication
• BIB
A weight system is a function on chord diagrams that satisfies the so-called four-term relations. Vassiliev's theory of finite-order knot invariants describes these invariants in terms of weight systems. In particular, there is a weight system corresponding to the colored Jones polynomial. This weight system can be easily defined in terms of the Lie algebra $\mathfrak{sl}_2$, but this definition is too cumbersome from the computational point of view, so that the values of this weight system are known only for some limited classes of chord diagrams.
In the present paper we give a formula for the values of the $\mathfrak{sl}_2$ weight system for a class of chord diagrams whose intersection graphs are complete bipartite graphs with no more than three vertices in one of the parts.
Our main computational tool is the Chmutov--Varchenko reccurence relation. Furthermore, complete bipartite graphs with no more than three vertices in one of the parts generate Hopf subalgebras of the Hopf algebra of graphs, and we deduce formulas for the projection onto the subspace of primitive elements along the subspace of decomposable elements in these subalgebras. We compute the values of the $\mathfrak{sl}_2$ weight system for the projections of chord diagrams with such intersection graphs. Our results confirm certain conjectures due to S.K.Lando on the values of the weight system $\mathfrak{sl}_2$ at the projections of chord diagrams on the space of primitive elements.
Spectral extrema of graphs with fixed size: cycles and complete bipartite graphs
Published
• View Publication
• BIB
Nikiforov [Some inequalities for the largest eigenvalue of a graph, Combin. Probab. Comput. 179--189] showed that if $G$ is $K_{r+1}$-free then the spectral radius $ρ(G)\leq\sqrt{2m(1-1/r)}$, which implies that $G$ contains $C_3$ if $ρ(G)>\sqrt{m}$. In this paper, we follow this direction on determining which subgraphs will be contained in $G$ if $ρ(G)> f(m)$, where $f(m)\sim\sqrt{m}$ as $m\rightarrow \infty$. We first show that if $ρ(G)\geq \sqrt{m}$, then $G$ contains $K_{2,r+1}$ unless $G$ is a star; and $G$ contains either $C_3^+$ or $C_4^+$ unless $G$ is a complete bipartite graph, where $C_t^+$ denotes the graph obtained from $C_t$ and $C_3$ by identifying an edge. Secondly, we prove that if $ρ(G)\geq{\frac12+\sqrt{m-\frac34}}$, then $G$ contains pentagon and hexagon unless $G$ is a book; and if $ρ(G)>{\frac12(k-\frac12)+\sqrt{m+\frac14(k-\frac12)^2}}$, then $G$ contains $C_t$ for every $t\leq 2k+2$. In the end, some related conjectures are provided for further research.
Score sequences of bitournaments
Published in Indian J. Discrete Math., vol. 7, no. 2 (2021) pp. 79-88
• Search Publication
The score of a vertex $x$ in an oriented graph is defined to be its outdegree, \emph{i.e.}, the number of arcs with initial vertex $x$. The score sequence of an oriented graph is the sequence of all scores arranged in nondecreasing order. An oriented complete bipartite graph is called a bitournament. The score sequence of a bitournament consists of two nondecreasing sequences of nonnegative integers, one for each of the two partite sets. Moon has characterized the score sequences of bitournaments. This paper introduces the concept of trimming a sequence and gives a characterization of score sequences of bitournaments utilizing this concept.
Graphs of Joint Types, Noninteractive Simulation, and Stronger Hypercontractivity
Published
• View Publication
• BIB
In this paper, we study the type graph, namely, a bipartite graph induced by a joint type. We investigate the maximum edge density of induced bipartite subgraphs of this graph having a number of vertices on each side on an exponential scale in the length $n$ of the type. This can be seen as an isoperimetric problem. We provide asymptotically sharp bounds for the exponent of the maximum edge density as the length of the type goes to infinity. We also study the biclique rate region of the type graph, which is defined as the set of $(R_{1},R_{2})$ such that there exists a biclique of the type graph which has respectively $2^{nR_{1}}$ and $2^{nR_{2}}$ vertices on the two sides. We provide asymptotically sharp bounds for the biclique rate region as well. We then discuss the connections of these results to noninteractive simulation and hypercontractivity inequalities. Furthermore, as an application of our results, a new outer bound for the zero-error capacity region of the binary adder channel is provided, which improves the previously best known bound, due to Austrin, Kaski, Koivisto, and Nederlof. Our proofs in this paper are based on the method of types and linear algebra.
On values of $\mathfrak{sl}_3$ weight system on chord diagrams whose intersection graph is complete bipartite
Published in http://www.mathjournals.org/mmj/2024-024-001/2024-024-001-007.html
• View Publication
• BIB
Each knot invariant can be extended to singular knots according to the skein rule. A Vassiliev invariant of order at most $n$ is defined as a knot invariant that vanishes identically on knots with more than $n$ double points. A chord diagram encodes the order of double points along a singular knot. A Vassiliev invariant of order $n$ gives rise to a function on chord diagrams with $n$ chords. Such a function should satisfy some conditions in order to come from a Vassiliev invariant. A weight system is a function on chord diagrams that satisfies so-called 4-term relations. Given a Lie algebra $\mathfrak{g}$ equipped with a non-degenerate invariant bilinear form, one can construct a weight system with values in the center of the universal enveloping algebra $U(\mathfrak{g})$. In this paper, we calculate $\mathfrak{sl}_3$ weight system for chord diagram whose intersection graph is complete bipartite graph $K_{2,n}$.
One Curious Identity Counting Graceful Labelings
Published in Enumerative Combinatorics and Applications, volume 2, issue 1, 2022
• View Publication
• BIB
Let $a$ and $b$ be positive integers with prime factorisations $a = p_1^np_2^n$ and $b = q_1^nq_2^n$. We prove that the number of essentially distinct $α$-graceful labelings of the complete bipartite graph $K_{a, b}$ equals the alternating sum of fourth powers of binomial coefficients $(-1)^n[\binom{2n}{0}^4 - \binom{2n}{1}^4 + \binom{2n}{2}^4 - \binom{2n}{3}^4 + \cdots + \binom{2n}{2n}^4]$.
On the anti-commutator of two free random variables
Published in Indiana University Mathematics Journal 2023
• View Publication
• BIB
Let $(κ_n(a))_{n\geq 1}$ denote the sequence of free cumulants of a random variable $a$ in a non-commutative probability space $(\mathcal{A},\varphi)$. Based on some considerations on bipartite graphs, we provide a formula to compute the cumulants $(κ_n(ab+ba))_{n\geq 1}$ in terms of $(κ_n(a))_{n\geq 1}$ and $(κ_n(b))_{n\geq 1}$, where $a$ and $b$ are freely independent. Our formula expresses the $n$-th free cumulant of $ab+ba$ as a sum indexed by partitions in the set $\mathcal{Y}_{2n}$ of non-crossing partitions of the form
\[ σ=\{B_1,B_3,\dots, B_{2n-1},E_1,\dots,E_r\}, \quad \text{with }r\geq 0, \]
such that $i\in B_{i}$ for $i=1,3,\dots,2n-1$ and $|E_j|$ even for $j\leq r$. Therefore, by studying the sets $\mathcal{Y}_{2n}$ we obtain new results regarding the distribution of $ab+ba$. For instance, the size $|\mathcal{Y}_{2n}|$ is closely related to the case when $a,b$ are free Poisson random variables of parameter 1. Our formula can also be expressed in terms of cacti graphs. This graph theoretic approach suggests a natural generalization that allows us to study quadratic forms in $k$ free random variables.
Classification by girth of three-dimensional algebraically defined monomial graphs over the real numbers
Published
• View Publication
• BIB
For positive integers $s,t,u,v$, we define a bipartite graph $Γ_{\mathbb{R}}(X^s Y^t,X^u Y^v)$ where each partite set is a copy of $\mathbb{R}^3$, and a vertex $(a_1,a_2,a_3)$ in the first partite set is adjacent to a vertex $[x_1,x_2,x_3]$ in the second partite set if and only if
\[
a_2 + x_2 = a_1^s x_1^t
\quad
\text{and}
\quad
a_3+x_3=a_1^ux_1^v.
\] In this paper, we classify all such graphs according to girth.