arXiv++ Combinatorics

A classical result of Andrásfai, Erdős, and Sós states that every $n$-vertex graph with odd girth at least $2k+1$ and minimum degree larger than $\frac{2n}{2k+1}$ is bipartite. Rather than imposing a minimum-degree condition, in this paper we investigate conditions on algebraic connectivity that force graphs of given odd girth to have a simple structure. The algebraic connectivity of a graph $G$, denoted by $μ_2(G)$, is the second smallest eigenvalue of its Laplacian matrix. Our main results are as follows. 1. Every $n$-vertex triangle-free graph $G$ with $μ_2(G)\geq \frac{n}{3}$ is bipartite. Moreover, the constant $\frac{1}{3}$ is asymptotically best possible. 2. For $k\geq 3$, every $n$-vertex graph $G$ of odd girth at least $2k+1$ with $μ_2(G)>\frac{4n}{6k-1}$ is bipartite. 3. For $k\geq 22$, every $n$-vertex graph $G$ of odd girth at least $2k+1$ with $μ_2(G)>\frac{3456n}{k^3}$ is bipartite. Moreover, the term $k^{-3}$ is asymptotically best possible.

In 2016, Reiher's clique density theorem determined the minimum number of copies of $K_t$ in a graph with a prescribed edge density. In this paper, we investigate its local version and prove a local clique density theorem in $H$-free graphs as follows. For integers $r$ and $t$ with $2\leq t\leq r-1$, any $r$-chromatic graph $H$, any real numbers $γ$ and $α$ with $\frac{t-2}{2(t-1)}\leqγ\leq \frac{r-2}{2(r-1)}$ and $0\leqα\leq 1$, we determine the maximum value $β:=β(r,t,α,γ)$ such that for every $n$-vertex $H$-free graph $G$ with at least $γn^2$ edges, every $\lceilαn\rceil$-vertex subset in $G$ contains at least $(β-o(1))n^{t}$ copies of $K_t$. In particular, when $H=K_r$, every $\lceilαn\rceil$-vertex subset contains at least $\lfloorβn^t\rfloor$ copies of $K_t$, which is an exact bound. For suitable choices of $α$ and $γ$, namely, those for which all part ratios in the corresponding extremal construction are rational, this bound is attained for infinitely many values of $n$.

A feedback vertex set of a graph is a set of vertices whose deletion leaves a forest. In 2016, Dross, Montassier, and Pinlou conjectured that every planar graph $G$ of girth at least $g$ admits a feedback vertex set of size at most $e(G)/g$. In this note, we confirm this conjecture by connecting this problem with signed graphs. The frustration index of a signed graph $(G,Σ)$ is defined as the minimum number of negative edges among all signatures on $G$ that are switching-equivalent to $Σ$. Equivalently, it is the minimum number of edges whose deletion results in a balanced subgraph of $(G,Σ)$. We show that the minimum size of a feedback vertex set of a planar graph is bounded above by the maximum frustration index over all signatures of the graph, and thereby provide a tight upper bound on the size of the minimum feedback vertex set, which resolves the conjecture of Dross, Montassier, and Pinlou (2016).

Fix an abelian group $A$, a graph $G$, and nowhere-zero $A$-flows $f'$ and $f''$ on $G$. Now $f'$ and $f''$ are \emph{$A$-flow-adjacent} if there exists a cycle $C$ in $G$ such that $f'(e)-f''(e)=0$ for all edges $e\notin E(C)$. And $f'$ and $f''$ are \emph{$A$-flow-equivalent} if there exists a sequence $f_0,\ldots,f_s$ of $A$-flows such that $f_0=f'$, $f_s=f''$, and $f_i$ and $f_{i-1}$ are $A$-flow-adjacent for all $i\in[s]$. Given a group $A$, we seek conditions on a graph $G$ such that all $A$-flows on $G$ are pairwise $A$-flow-equivalent; in this case, we say that $G$ is \emph{$A$-flow-connected}. Analogously, we define $k$-flow-connectedness for nowhere-zero (integer) $k$-flows. The notions of $A$-flow-connectedness and $k$-flow-connectedness were first investigated by Esperet et al., who showed, among other results, that every $2$-edge-connected graph is $A$-flow-connected whenever $A=\mathbb{Z}_2^8$ or $|A| \ge 1.15\times 10^{694}$. In this paper, we first characterize the graphs that are $\mathbb{Z}_3$-flow-connected and that are $3$-flow-connected. We show that every 2-edge-connected graph is $A$-flow-connected if and only if this is true for every 2-edge-connected cubic graphs. We show that all cubic bipartite graphs are $\mathbb{Z}_4$-flow-connected, and construct other cubic graphs that are and are not $\mathbb{Z}_4$-flow-connected. We conjecture that every Eulerian graph is $k$-flow-connected and $A$-flow-connected whenever $k$ or $|A|$ is even; and provide evidence for this conjecture. Finally, we consider $4$-edge-connected graphs $G$. Here, we show that $G$ is $A$-flow-connected whenever $|A|\ge 5.3\times 10^6$.

For a simple graph $G$ with $n$ vertices, let $A_G$ denote the adjacency matrix of $G$, and let $λ_1(G) \geq λ_2(G) \geq \dots \geq λ_n(G)$ be its eigenvalues. For an integer $p \geq 2$, the positive $p$-energy and negative $p$-energy of $G$, denoted $\mathcal{E}^+_p(G)$ and $\mathcal{E}^-_p(G)$, are defined as follows: $\mathcal{E}^+_p(G) = \sum_{λ_i(G) > 0} |λ_i(G)|^p$ and $\mathcal{E}^-_p(G) = \sum_{λ_i(G) < 0} |λ_i(G)|^p,$ respectively. Tang, Liu, and Wang proposed a conjecture that, for any integer $p \geq 2$, every connected $n$-vertex graph $G$ satisfies $\mathcal{E}^+_p(G) \geq \mathcal{E}^+_p(P_n)$. Akbari, Kumar, Mohar, and Pragada conjectured that, for any $p \geq 2$, every connected $n$-vertex graph $G$ satisfies $\mathcal{E}^-_p(G) \geq \mathcal{E}^-_p(K_n)$, and they proved this conjecture for $p \geq 4$. In this paper, we prove that every connected $n$-vertex graph, except for $K_1$, $K_2$, and $P_3$, satisfies $\mathcal{E}^+_3(G) \geq \frac{\sqrt{5}}{2}n$. Moreover, we show that for any integer $p \geq 3$, every connected $n$-vertex graph $G$ satisfies $\mathcal{E}^-_p(G) \geq \mathcal{E}^-_p(K_n)$, which improves upon the previously known result.

A graph is called strongly $\Z_{2k+1}$-connected if for each boundary function $β: V(G)\mapsto \Z_{2k+1}$ with $\sum_{v\in V(G)}β(v)\equiv 0\pmod{2k+1}$, there exists an orientation $D$ of $G$ such that $d_D^+(v) - d_D^-(v) \equiv β(v) \pmod{2k+1}$ for each $v \in V(G)$. We show that every planar multigraph with $5$ edge-disjoint spanning trees is strongly $\Z_{5}$-connected. This verifies a special case of the Additive Base Conjecture when restricted to planar graphs. Hence, every $10$-edge-connected directed planar graph admits an antisymmetric $\Z_5$-flow. So, by duality, every orientation of a planar graph of girth at least $10$ admits a homomorphism to a $5$-vertex tournament. Our result also gives a new proof of the known result that every planar graph of girth at least $10$ has a homomorphism to the $5$-cycle.

A graph is strongly $\Z_{\ell}$-connected if for each boundary function $β: V(G)\mapsto \Z_{\ell}$ with $β(v) \equiv d(v) \pmod{2}$ for every vertex $v$ and $\sum_{v \in V(G)} β(v) \equiv 0 \pmod{2\ell}$, there exists an orientation $D$ of $G$ such that $d_D^+(v) - d_D^-(v) \equiv β(v) \pmod{2\ell}$ for each $v \in V(G)$. This is a useful notion for studying circular flows of graphs. This note presents a fully self-contained, manual proof of a characterization of $4$-vertex strongly $\mathbb{Z}_\ell$-connected graphs for any integer $\ell\geq 2$, which will be used in our further study in this topic.

The frustration index of a signed graph is defined as the minimum number of negative edges among all switching-equivalent signatures. This can be regarded as a generalization of the classical \textsc{Max-Cut} problem in graphs, as the \textsc{Max-Cut} problem is equivalent to determining the frustration index of signed graphs with all edges being negative signs. In this paper, we prove that the frustration index of an $n$-vertex signed connected simple subcubic graph, other than $(K_4, -)$, is at most $\frac{3n + 2}{8}$, and we characterize the family of signed graphs for which this bound is attained. This bound can be further improved to $\frac{n}{3}$ for signed $2$-edge-connected simple subcubic graphs, with the exceptional signed graphs being characterized. As a corollary, every signed $2$-edge-connected simple cubic graph on at least $10$ vertices and with $m$ edges has its frustration index at most $\frac{2}{9}m$, where the upper bound is tight as it is achieved by an infinite family of signed cubic graphs.

Let $f_r(d,s_1,\ldots,s_r)$ denote the least integer $n$ such that every $n$-point set $P\subseteq\mathbb{R}^d$ admits a partition $P=P_1\cup\cdots\cup P_r$ with the property that for any choice of $s_i$-convex sets $C_i\supseteq P_i$ $(i\in[r])$ one necessarily has $\bigcap_{i=1}^r C_i\neq\emptyset$, where an $s_i$-convex set means a union of $s_i$ convex sets. A recent breakthrough by Alon and Smorodinsky establishes a general upper bound $f_r(d,s_1,\dots,s_r) = O(dr^2\log r \prod_{i=1}^r s_i\cdot \log(\prod_{i=1}^r s_i).$ Specializing to $r=2$ resolves the problem of Kalai from the 1970s. They further singled out two particularly intriguing questions: whether $f_{2}(2,s,s)$ can be improved from $O(s^2\log s)$ to $O(s)$, and whether $f_r(d,s,\ldots,s)\le Poly(r,d,s)$. We answer both in the negative by showing the exponential lower bound $f_{r}(d,s,\ldots,s)> s^{r}$ for any $r\ge 2$, $s\ge 1$ and $d\ge 2r-2$, which matches the upper bound up to a multiplicative $\log{s}$ factor for sufficiently large $s$. Our construction combines a scalloped planar configuration with a direct product of regular $s$-gon on the high-dimensional torus $(\mathbb{S}^1)^{r-2}$. Perhaps surprisingly, if we additionally require that within each block the $s_i$ convex sets are pairwise disjoint, the picture changes markedly. Let $F_r(d,s_1,\ldots,s_r)$ denote this disjoint-union variant of the extremal function. We show: (1) $F_{2}(2,s,s)=O(s\log s)$ by connecting it to a suitable line-separating function in the plane; (2) when $s$ is large, $F_r(d,s,\ldots,s)$ can be bounded by $O_{r,d}(s^{(1-\frac{1}{2^{d}(d+1)})r+1})$ and $O_{d}(r^{3}\log r\cdot s^{2d+3})$, respectively. This builds on a novel connection between the geometric obstruction and hypergraph Turán numbers, in particular, a variant of the Erdős box problem.

A signed graph is a pair $(G,σ)$, where $G$ is a graph and $σ: E(G)\rightarrow \{-, +\}$, called signature, is an assignment of signs to the edges. Given a signed graph $(G,σ)$ with no negative loops, a balanced $(p,q)$-coloring of $(G,σ)$ is an assignment $f$ of $q$ colors to each vertex from a pool of $p$ colors such that each color class induces a balanced subgraph, i.e., no negative cycles. Let $(K_4,-)$ be the signed graph on $K_4$ with all edges being negative. In this work, we show that every signed (simple) subcubic graph admits a balanced $(5,3)$-coloring except for $(K_4,-)$ and signed graphs switching equivalent to it. For this particular signed graph the best balanced colorings are $(2p,p)$-colorings.

We study the problem of finding homomorphisms into odd cycles from planar graphs with high odd-girth. The Jaeger-Zhang conjecture states that every planar graph of odd-girth at least $4k+1$ admits a homomorphism to the odd cycle $C_{2k+1}$. The $k=1$ case is the well-known Grötzsch's $3$-coloring theorem. For general $k$, in 2013 Lovász, Thomassen, Wu, and Zhang showed that it suffices to have odd-girth at least $6k+1$. Improvements are known for $C_5$ and $C_7$ in [Combinatorica 2017, SIDMA 2020, Combinatorica 2022]. For $C_9$ we improve this hypothesis by showing that it suffices to have odd-girth 23. Our main tool is a variation on the potential method applied to modular orientations. This allows more flexibility when seeking reducible configurations. The same techniques also prove some results on circular coloring of signed planar graphs.

We say that a signed graph is $k$-critical if it is not $k$-colorable but every one of its proper subgraphs is $k$-colorable. Using the definition of colorability due to Naserasr, Wang, and Zhu that extends the notion of circular colorability, we prove that every $3$-critical signed graph on $n$ vertices has at least $\frac{3n-1}{2}$ edges, and that this bound is asymptotically tight. It follows that every signed planar or projective-planar graph of girth at least $6$ is (circular) $3$-colorable, and for the projective-planar case, this girth condition is best possible. To prove our main result, we reformulate it in terms of the existence of a homomorphism to the signed graph $C_{3}^*$, which is the positive triangle augmented with a negative loop on each vertex.

Extending the notion of maxcut, the study of the frustration index of signed graphs is one of the basic questions in the theory of signed graphs. Recently two of the authors initiated the study of critically frustrated signed graphs. That is a signed graph whose frustration index decreases with the removal of any edge. The main focus of this study is on critical signed graphs which are not edge-disjoint unions of critically frustrated signed graphs (namely non-decomposable signed graphs) and which are not built from other critically frustrated signed graphs by subdivision. We conjecture that for any given $k$ there are only finitely many critically $k$-frustrated signed graphs of this kind. Providing support for this conjecture we show that there are only two of such critically $3$-frustrated signed graphs where there is no pair of edge-disjoint negative cycles. Similarly, we show that there are exactly ten critically $3$-frustrated signed planar graphs that are neither decomposable nor subdivisions of other critically frustrated signed graphs. We present a method for building non-decomposable critically frustrated signed graphs based on two given such signed graphs. We also show that the condition of being non-decomposable is necessary for our conjecture.

In this paper the concept of circular $r$-flows in a mono-directed signed graph $(G, σ)$ is introduced. That is a pair $(D, f)$, where $D$ is an orientation on $G$ and $f: E(G)\to (-r,r)$ satisfies that $|f(e)|\in [1, r-1]$ for each positive edge $e$ and $|f(e)|\in [0, \frac{r}{2}-1]\cup [\frac{r}{2}+1, r)$ for each negative edge $e$, and the total in-flow equals the total out-flow at each vertex. The circular flow index of a signed graph $(G, σ)$ with no positive bridge, denoted $Φ_c(G,σ)$, is the minimum $r$ such that $(G, σ)$ admits a circular $r$-flow. This is the dual notion of circular colorings and circular chromatic numbers of signed graphs recently introduced in [Circular chromatic number of signed graphs. R. Naserasr, Z. Wang, and X. Zhu. Electronic Journal of Combinatorics, 28(2)(2021), \#P2.44], and is distinct from the concept of circular flows in bi-directed graphs associated to signed graphs studied in the literature. We give several equivalent definitions, study basic properties of circular flows in mono-directed signed graphs, explore relations with flows in graphs, and focus on upper bounds on $Φ_c(G,σ)$ in terms of the edge-connectivity of $G$. Meanwhile, we note that for the particular values of $r_{_k}=\frac{2k}{k-1}$, and when restricted to two natural subclasses of signed graphs, the existence of a circular $r_{_k} $-flow is strongly connected with the existence of a modulo $k$-orientation, and in case of planar graphs, based on duality, with the homomorphisms to $C_{-k}$.

The notion of the circular coloring of signed graphs is a recent one that simultaneously extends both notions of the circular coloring of graphs and $0$-free coloring of signed graphs. A circular $r$-coloring of a signed graph $(G, σ)$ is to assign points of a circle of circumference $r$, $r\geq 2$, to the vertices of $G$ such that vertices connected by a positive edge are at circular distance at least $1$ and vertices connected by a negative edge are at circular distance at most $\frac{r}{2}-1$. The infimum of all $r$ for which $(G, σ)$ admits a circular $r$-coloring is said to be the circular chromatic number of $(G, σ)$ and is denoted by $χ_c(G, σ)$. For any rational number $r=\frac{p}{q}$, two notions of circular cliques are presented corresponding to the edge-sign preserving homomorphism and the switching homomorphism. It is also shown that the restriction of the study of circular chromatic numbers to the class of signed bipartite simple graphs already captures the study of circular chromatic numbers of graphs via basic graph operations, even though the circular chromatic number of every signed bipartite graph is bounded above by $4$. In this work, we consider the restriction of the circular chromatic number to this class of signed graphs and construct signed bipartite circular cliques with respect to both notions of homomorphisms. We then present reformulations of the $4$-Color Theorem and the Grötzsch theorem. As a bipartite analogue of Grötzsch's theorem, we prove that every signed bipartite planar graph of negative girth at least $6$ has circular chromatic number at most $3$.

A circular $r$-coloring of a signed graph $(G, σ)$ is an assignment $φ$ of points of a circle $C_r$ of circumference $r$ to the vertices of $(G, σ)$ such that for each positive edge $uv$ of $(G, σ)$ the distance of $φ(v)$ and $φ(v)$ is at least 1 and for each negative edge $uv$ the distance of $φ(u)$ from the antipodal of $φ(v)$ is at least 1. The circular chromatic number of $(G, σ)$, denoted $χ_c(G, σ)$, is the infimum of $r$ such that $(G, σ)$ admits a circular $r$-coloring. This notion is recently defined by Naserasr, Wang, and Zhu who, among other results, proved that for any signed $d$-degenerate simple graph $\hat{G}$ we have $χ_c(\hat{G})\leq 2d$. For $d\geq 3$, examples of signed $d$-degenerate simple graphs of circular chromatic number $2d$ are provided. But for $d=2$ only examples of signed 2-degenerate simple graphs of circular chromatic number close enough to $4$ are given, noting that these examples are also signed bipartite planar graphs. In this work we first observe the following restatement of the 4-color theorem: If $(G,σ)$ is a signed bipartite planar simple graph where vertices of one part are all of degree 2, then $χ_c(G,σ)\leq \frac{16}{5}$. Motivated by this observation, we provide an improved upper bound of $ 4-\dfrac{2}{\lfloor \frac{n+1}{2} \rfloor}$ for the circular chromatic number of a signed 2-degenerate simple graph on $n$ vertices and an improved upper bound of $ 4-\dfrac{4}{\lfloor \frac{n+2}{2} \rfloor}$ for the circular chromatic number of a signed bipartite planar simple graph on $n$ vertices. We then show that each of the bounds is tight for any value of $n\geq 4$.

A signed bipartite (simple) graph $(G, σ)$ is said to be $C_{-4}$-critical if it admits no homomorphism to $C_{-4}$ (a negative 4-cycle) but every proper subgraph of it does. In this work, first of all we show that the notion of 4-coloring of graphs and signed graphs is captured, through simple graph operations, by the notion of homomorphism to $C_{-4}$. In particular, the 4-color theorem is equivalent to: Given a planar graph $G$, the signed bipartite graph obtained from $G$ by replacing each edge with a negative path of length 2 maps to $C_{-4}$. We prove that, except for one particular signed bipartite graph on 7 vertices and 9 edges, any $C_{-4}$-critical signed graph on $n$ vertices must have at least $\lceil\frac{4n}{3}\rceil$ edges, and that this bound or $\lceil\frac{4n}{3}\rceil+1$ is attained for each value of $n\geq 9$. As an application, we conclude that all signed bipartite planar graphs of negative girth at least $8$ map to $C_{-4}$. Furthermore, we show that there exists an example of a signed bipartite planar graph of girth $6$ which does not map to $C_{-4}$, showing $8$ is the best possible and disproving a conjecture of Naserasr, Rollova and Sopena, in extension of the above mentioned restatement of the 4CT.

A homomorphism of a signed graph $(G, σ)$ to $(H, π)$ is a mapping of vertices and edges of $G$ to (respectively) vertices and edges of $H$ such that adjacencies, incidences and the product of signs of closed walks are preserved. Motivated by reformulations of the $k$-coloring problem in this language, and specially in connection with results on $3$-coloring of planar graphs, such as Grötzsch's theorem, in this work we consider bounds on maximum average degree which are sufficient for mapping to the signed graph $(K_{2k}, σ_m)$ ($k\geq 3$) where $σ_m$ assigns to edges of a perfect matching the negative sign. For $k=3$, we show that the maximum average degree strictly less than $\frac{14}{5}$ is sufficient and that this bound is tight. For all values of $k\geq 4$, we find the best maximum average degree bound to be 3. While the homomorphisms of signed graphs is relatively new subject, through the connection with the homomorphisms of $2$-edge-colored graphs, which are largely studied, some earlier bounds are already given. In particular, it is implied from Theorem 2.5 of "Borodin, O. V., Kim, S.-J., Kostochka, A. V., and West, D. B., Homomorphisms from sparse graphs with large girth. J. Combin. Theory Ser. B (2004)" that if $G$ is a graph of girth at least 7 and maximum average degree $\frac{28}{11}$, then for any signature $σ$ the signed graph $(G,σ)$ maps to $(K_6, σ_m)$. We discuss applications of our work to signed planar graphs and, among others, we propose questions similar to Steinberg's conjecture for the class of signed bipartite planar graphs.

A signed graph is a pair $(G, σ)$, where $G$ is a graph and $σ: E(G) \to \{+, -\}$ is a signature which assigns to each edge of $G$ a sign. Various notions of coloring of signed graphs have been studied. In this paper, we extend circular coloring of graphs to signed graphs. Given a signed graph $(G, σ)$ a circular $r$-coloring of $(G, σ)$ is an assignment $ψ$ of points of a circle of circumference $r$ to the vertices of $G$ such that for every edge $e=uv$ of $G$, if $σ(e)=+$, then $ψ(u)$ and $ψ(v)$ have distance at least $1$, and if $σ(e)=-$, then $ψ(v)$ and the antipodal of $ψ(u)$ have distance at least $1$. The circular chromatic number $χ_c(G, σ)$ of a signed graph $(G, σ)$ is the infimum of those $r$ for which $(G, σ)$ admits a circular $r$-coloring. For a graph $G$, we define the signed circular chromatic number of $G$ to be $\max\{χ_c(G, σ): σ\text{ is a signature of $G$}\}$. We study basic properties of circular coloring of signed graphs and develop tools for calculating $χ_c(G, σ)$. We explore the relation between the circular chromatic number and the signed circular chromatic number of graphs, and present bounds for the signed circular chromatic number of some families of graphs. In particular, we determine the supremum of the signed circular chromatic number of $k$-chromatic graphs of large girth, of simple bipartite planar graphs, $d$-degenerate graphs, simple outerplanar graphs and series-parallel graphs. We construct a signed planar simple graph whose circular chromatic number is $4+\frac{2}{3}$. This is based and improves on a signed graph built by Kardos and Narboni as a counterexample to a conjecture of Máčajová, Raspaud, and Škoviera.