arXiv++ Combinatorics

Browse math.CO papers from arXiv

graph

35367 papers tagged with this keyword
Circular flows in mono-directed signed graphs
Published • View Publication • BIB
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}$.
On the Secure Vertex Cover Pebbling Number
Published • View Publication • BIB
A new graph invariant called the secure vertex cover pebbling number, which is a combination of two graph invariants, namely secure vertex cover and cover pebbling number, is introduced in this paper. The secure vertex cover pebbling number of a graph G is the minimum number m so that every distribution of m pebbles can reach some secure vertex cover of G by a sequence of pebbling moves. In this paper, the complexity of the secure vertex cover problem and secure vertex cover pebbling problem are discussed. Also, we obtain some basic results and the secure vertex cover pebbling number for complete r- partite graphs, paths, Friendship graphs, and wheel graphs.
Is it easier to count communities than find them?
Published • View Publication • BIB
Random graph models with community structure have been studied extensively in the literature. For both the problems of detecting and recovering community structure, an interesting landscape of statistical and computational phase transitions has emerged. A natural unanswered question is: might it be possible to infer properties of the community structure (for instance, the number and sizes of communities) even in situations where actually finding those communities is believed to be computationally hard? We show the answer is no. In particular, we consider certain hypothesis testing problems between models with different community structures, and we show (in the low-degree polynomial framework) that testing between two options is as hard as finding the communities. Our methods give the first computational lower bounds for testing between two different ``planted'' distributions, whereas previous results have considered testing between a planted distribution and an i.i.d. ``null'' distribution. We also show a formal relationship between the low--degree frameworks for recovery in a planted model and for testing two planted models.
Irreducibility of the Tutte polynomial of an embedded graph
Published in Algebraic Combinatorics, Volume 5 (2022) no. 6, pp. 1337-1351 • View Publication • BIB
We prove that the ribbon graph polynomial of a graph embedded in an orientable surface is irreducible if and only if the embedded graph is neither the disjoint union nor the join of embedded graphs. This result is analogous to the fact that the Tutte polynomial of a graph is irreducible if and only if the graph is connected and non-separable.
2022-12-21 v2
Gadget construction and structural convergence
Published • View Publication • BIB
Nešetřil and Ossona de Mendez recently proposed a new definition of graph convergence called structural convergence. The structural convergence framework is based on the probability of satisfaction of logical formulas from a fixed fragment of first-order formulas. The flexibility of choosing the fragment allows to unify the classical notions of convergence for sparse and dense graphs. Since the field is relatively young, the range of examples of convergent sequences is limited and only a few methods of construction are known. Our aim is to extend the variety of constructions by considering the gadget construction. We show that, when restricting to the set of sentences, the application of gadget construction on elementarily convergent sequences yields an elementarily convergent sequence. On the other hand, we show counterexamples witnessing that a generalization to the full first-order convergence is not possible without additional assumptions. We give several different sufficient conditions to ensure the full convergence. One of them states that the resulting sequence is first-order convergent if the replaced edges are dense in the original sequence of structures.
Edge separators for graphs excluding a minor
Published in Electronic Journal of Combinatorics, 30/4:P4.12, 2023 • View Publication • BIB
We prove that every $n$-vertex $K_t$-minor-free graph $G$ of maximum degree $Δ$ has a set $F$ of $O(t^2(\log t)^{1/4}\sqrt{Δn})$ edges such that every component of $G - F$ has at most $n/2$ vertices. This is best possible up to the dependency on $t$ and extends earlier results of Diks, Djidjev, Sykora, and Vrťo (1993) for planar graphs, and of Sykora and Vrťo (1993) for bounded-genus graphs. Our result is a consequence of the following more general result: The line graph of $G$ is isomorphic to a subgraph of the strong product $H \boxtimes K_{\lfloor p \rfloor}$ for some graph $H$ with treewidth at most $t-2$ and $p = \sqrt{(t-3)Δ|E(G)|} + Δ$.
2022-12-21 v2
Distant 2-Colored Components on Embeddings Part III: The General Case
This is the third in a sequence of three papers in which we prove the following generalization of Thomassen's 5-choosability theorem: Let $G$ be a finite graph embedded on a surface of genus $g$. Then $G$ can be $L$-colored, where $L$ is a list-assignment for $G$ in which every vertex has a 5-list except for a collection of pairwise far-apart components, each precolored with an ordinary 2-coloring, as long as the face-width of $G$ is at least $2^{Ω(g)}$ and the precolored components are of distance at least $2^{Ω(g)}$ apart. This provides an affirmative answer to a generalized version of a conjecture of Thomassen and also generalizes a result from 2017 of Dvořák, Lidický, Mohar, and Postle about distant precolored vertices. In a previous paper, we proved that the above result holds for a restricted class of embeddings which have no separating cycles of length three or four. In this paper, we use this special case to prove that the result holds in the general case.
Maximal Generalized Rank in Graphical Matrix Spaces
Published in Israel Journal of Mathematics 256.1 (2023): 297-309 • View Publication • BIB
In this note we prove two extensions of a recent combinatorial characterization due to Li, Qiao, Wigderson, Wigderson and Zhang (arXiv:2206.04815) of the maximal dimension of bounded rank subspaces of the graphical matrix space associated with a bipartite graph. Our first result shows that the above characterization remains valid for a wide class of generalized rank functions, including e.g. the permanental rank. Our second result extends the characterization to bounded rank subspaces of the graphical alternating matrix space associated with a general graph.
2022-12-21 v2
Bent functions and strongly regular graphs
Published • View Publication • BIB
The family of bent functions is a known class of Boolean functions, which have a great importance in cryptography. The Cayley graph defined on $\mathbb{Z}_{2}^{n}$ by the support of a bent function is a strongly regular graph $srg(v,kλ,μ)$, with $λ=μ$. In this note we list the parameters of such Cayley graphs. Moreover, it is given a condition on $(n,m)$-bent functions $F=(f_1,\ldots,f_m)$, involving the support of their components $f_i$, and their $n$-ary symmetric differences.
2022-12-20
Graphs of scramble number two
Published • View Publication • BIB
The scramble number of a graph provides a lower bound for gonality and an upper bound for treewidth, making it a graph invariant of interest. In this paper we study graphs of scramble number at most two, and give a classification of all such graphs with a finite list of forbidden topological minors. We then prove that there exists no finite list of forbidden topological minors to characterize graphs of any fixed scramble number greater than two.
2022-12-20
Genus Polynomials of Cubic Graphs with Non-Real Roots
Published • View Publication • BIB
Given a graph $G$, its genus polynomial is $Γ_G(x) = \sum_{k\geq 0} g_k(G)x^k$, where $g_k(G)$ is the number of 2-cell embeddings of $G$ in an orientable surface of genus $k$. The Log-Concavity Genus Distribution (LCGD) Conjecture states that the genus polynomial of every graph is log-concave. It was further conjectured by Stahl that the genus polynomial of every graph has only real roots, however this was later disproved. We identify several examples of cubic graphs whose genus polynomials, in addition to having at least one non-real root, have a quadratic factor that is non-log-concave when factored over the real numbers.
Coalition of cubic graphs of order at most $10$
The coalition in a graph $G$ consists of two disjoint sets of vertices $V_{1}$ and $V_{2}$, neither of which is a dominating set but whose union $V_{1}\cup V_{2}$, is a dominating set. A coalition partition in a graph $G$ is a vertex partition $π$ = $\{V_1, V_2,..., V_k \}$ such that every set $V_i \in π$ is not a dominating set but forms a coalition with another set $V_j\in π$ which is not a dominating set. The coalition number $C(G)$ equals the maximum $k$ of a coalition partition of $G$. In this paper, we compute the coalition number of all cubic graphs of order at most $10$.
2022-12-20 v2
On extremal Sombor index of trees with a given dissociation number $\varphi$
Published • View Publication • BIB
The Sombor index is a topological index in graph theory defined by Gutman in 2021. In this article, we find the maximum Sombor index of trees of order $\mathbf{n}$ with a given dissociation number $\varphi$, where $\ceil*{\frac{2\mathbf{n}}{3}} \leq \varphi(G) \leq \mathbf{n}-1$. We also provide the unique graph among the chosen class where the maximum Sombor index is attained.
On oriented cycles in randomly perturbed digraphs
Published • View Publication • BIB
In 2003, Bohman, Frieze, and Martin initiated the study of randomly perturbed graphs and digraphs. For digraphs, they showed that for every $α>0$, there exists a constant $C$ such that for every $n$-vertex digraph of minimum semi-degree at least $αn$, if one adds $Cn$ random edges then asymptotically almost surely the resulting digraph contains a consistently oriented Hamilton cycle. We generalize their result, showing that the hypothesis of this theorem actually asymptotically almost surely ensures the existence of every orientation of a cycle of every possible length, simultaneously. Moreover, we prove that we can relax the minimum semi-degree condition to a minimum total degree condition when considering orientations of a cycle that do not contain a large number of vertices of indegree $1$. Our proofs make use of a variant of an absorbing method of Montgomery.
A characterization of graphs with small palette index
Published in Symmetry, 2023, 15, 154 • View Publication • BIB
Given an edge-coloring of a graph $G$, we associate to every vertex $v$ of $G$ the set of colors appearing on the edges incident with $v$. The palette index of $G$ is defined as the minimum number of such distinct sets, taken over all possible edge-colorings of $G$. A graph with a small palette index admits an edge-coloring which can be locally considered to be almost symmetric, since few different sets of colors appear around its vertices. Graphs with palette index $1$ are $r$-regular graphs admitting an $r$-edge-coloring, while regular graphs with palette index $2$ do not exist. Here, we characterize all graphs with palette index either $2$ or $3$ in terms of the existence of suitable decompositions in regular subgraphs. As a corollary, we obtain a complete characterization of regular graphs with palette index $3$.
2022-12-20 v2
Distant 2-Colored Components on Embeddings Part II: The Short-Inseparable Case
This is the second in a sequence of three papers in which we prove the following generalization of Thomassen's 5-choosability theorem: Let $G$ be a graph embedded on a surface of genus $g$. Then $G$ can be $L$-colored, where $L$ is a list-assignment for $G$ in which every vertex has a 5-list except for a collection of pairwise far-apart components, each precolored with an ordinary 2-coloring, as long as the face-width of $G$ is at least $2^{Ω(g)}$ and the precolored components are of distance at least $2^{Ω(g)}$ apart. This provides an affirmative answer to a generalized version of a conjecture of Thomassen and also generalizes a result from 2017 of Dvořák, Lidický, Mohar, and Postle about distant precolored vertices. In this paper we prove that the above result holds for a restricted class of embeddings, i.e. those embeddings which satisfy certain triangulation conditions and do not have separating cycles of length at most four.
On generalized Ramsey numbers in the non-integral regime
Published • View Publication • BIB
A $(p,q)$-coloring of a graph $G$ is an edge-coloring of $G$ such that every $p$-clique receives at least $q$ colors. In 1975, Erdős and Shelah introduced the generalized Ramsey number $f(n,p,q)$ which is the minimum number of colors needed in a $(p,q)$-coloring of $K_n$. In 1997, Erdős and Gyárfás showed that $f(n,p,q)$ is at most a constant times $n^{\frac{p-2}{\binom{p}{2} - q + 1}}$. Very recently the first author, Dudek, and English improved this bound by a factor of $\log n^{\frac{-1}{\binom{p}{2} - q + 1}} $ for all $q \le \frac{p^2 - 26p + 55}{4}$, and they ask if this improvement could hold for a wider range of $q$. We answer this in the affirmative for the entire non-integral regime, that is, for all integers $p, q$ with $p-2$ not divisible by $\binom{p}{2} - q + 1$. Furthermore, we provide a simultaneous three-way generalization as follows: where $p$-clique is replaced by any fixed graph $F$ (with $|V(F)|-2$ not divisible by $|E(F)| - q + 1$); to list coloring; and to $k$-uniform hypergraphs. Our results are a new application of the Forbidden Submatching Method of the second and fourth authors.
2022-12-20
Vexing Vexillological Logic
Published • View Publication • BIB
We define a new impartial combinatorial game, Flag Coloring, based on flood filling. We then generalize to a graph game, and find values for many positions on two colors. We demonstrate that the generalized game is PSPACE-complete for two colors or more via a reduction from Avoid True, determine the outcome classes of games based on real-world flags, and discuss remaining open problems.
2022-12-20
Relaxation of Wegner's Planar Graph Conjecture for maximum degree 4
Published • View Publication • BIB
The famous Wegner's Planar Graph Conjecture asserts tight upper bounds on the chromatic number of the square $G^2$ of a planar graph $G$, depending on the maximum degree $Δ(G)$ of $G$. The only case that the conjecture is resolved is when $Δ(G)=3$, which was proven to be true by Thomassen, and independently by Hartke, Jahanbekam, and Thomas. For $Δ(G)=4$, Wegner's Planar Graph Conjecture states that the chromatic number of $G^2$ is at most 9; even this case is still widely open, and very recently Bousquet, de Meyer, Deschamps, and Pierron claimed an upper bound of 12. We take a completely different approach, and show that a relaxation of properly coloring the square of a planar graph $G$ with $Δ(G)=4$ can be achieved with 9 colors. Instead of requiring every color in the neighborhood of a vertex to be unique, which is equivalent to a proper coloring of $G^2$, we seek a proper coloring of $G$ such that at most one color is allowed to be repeated in the neighborhood of a vertex of degree 4, but nowhere else.
Quasirandom forcing orientations of cycles
Published • View Publication • BIB
An oriented graph $H$ is quasirandom-forcing if the limit (homomorphism) density of $H$ in a sequence of tournaments is $2^{-\|H\|}$ if and only if the sequence is quasirandom. We study generalizations of the following result: the cyclic orientation of a cycle of length $\ell$ is quasirandom-forcing if and only if $\ell\equiv 2$ mod $4$. We show that no orientation of an odd cycle is quasirandom-forcing. In the case of even cycles, we find sufficient conditions on an orientation to be quasirandom-forcing, which we complement by identifying necessary conditions. Using our general results and spectral techniques used to obtain them, we classify which orientations of cycles of length up to $10$ are quasirandom-forcing.