graph
34665 papers tagged with this keyword
Factorization graphs of finite groups
We introduce the factorization graph of a finite group and study its connectedness and forbidden structures. We characterize all finite groups with connected factorization graphs and classify those with connected bipartite factorization graphs. Also, we obtain a classification of all groups with claw-free, $K_{1,4}$-free, and square-free factorization graphs, excluding the non-solvable groups in the latter case.
A reduction formula for Waring numbers through generalized Paley graphs
We give a reduction formula for the Waring number $g(k,q)$ over a finite field $\mathbb{F}_q$. By exploiting the relation between $g(k,q)$ with the diameter of the generalized Paley graph $Γ(k,q)$ and by using the characterization due to Pearce and Praeger (2019) of those $Γ(k,q)$ which are Cartesian decomposable, we obtain the reduction formula
$$g(\tfrac{p^{ab}-1}{bc},p^{ab}) = b g(\tfrac{p^a-1}{c},p^a)$$ for $p$ prime and $a,b,c$ positive integers under certain arithmetic conditions. Then, we find some arithmetic conditions to apply the formula above, which allow us to obtain many infinite families of explicit values of Waring numbers. Finally, we use the reduction formula together with the characterization of $2$-weight irreducible cyclic codes due to Schmidt and White (2002) to find infinite families of explicit even values of $g(k,q)$.
On Hedetniemi's conjecture and the Poljak-Rodl function
Published
• View Publication
• BIB
Hedetniemi conjectured in 1966 that $χ(G \times H) = \min\{χ(G), χ(H)\}$ for any graphs G and H. Here $G\times H$ is the graph with vertex set
$ V(G)\times V(H)$ defined by putting $(x,y)$ and $(x',y')$ adjacent if and only if
$xx'\in E(G)$ and $yy'\in V(H)$. This conjecture received a lot of attention in the past half century.
It was disproved recently by Shitov.
The Poljak-Rödl function is defined as $f(n) = \min\{χ(G \times H): χ(G)=χ(H)=n\}$.
Hedetniemi's conjecture is equivalent to saying $f(n)=n$ for all integer $n$. Shitov's result shows that
$f(n)<n$ when $n$ is sufficiently large. Using Shitov's result, Tardif and Zhu showed that $f(n) \le n - (\log n)^{1/4}$ for sufficiently large $n$. Using Shitov's method, He--Wigderson showed that for $ε\approx 10^{-9}$ and $n$ sufficiently large, $f(n) \le (1-ε)n$. In this note we prove that a slight modification of the proof in the paper of Zhu and Tardif shows that $f(n) \le (\frac 12 + o(1))n$ for sufficiently large $n$. On the other hand, it is unknown whether $f(n)$ is bounded by a constant. However, we do know that if $f(n)$ is bounded by a constant, then the smallest such constant is at most $9$. This lecture note gives self-contained proofs of the above mentioned results.
Combinatorial generation via permutation languages. II. Lattice congruences
Published
• View Publication
• BIB
This paper deals with lattice congruences of the weak order on the symmetric group, and initiates the investigation of the cover graphs of the corresponding lattice quotients. These graphs also arise as the skeleta of the so-called quotientopes, a family of polytopes recently introduced by Pilaud and Santos [Bull. Lond. Math. Soc., 51:406-420, 2019], which generalize permutahedra, associahedra, hypercubes and several other polytopes. We prove that all of these graphs have a Hamilton path, which can be computed by a simple greedy algorithm. This is an application of our framework for exhaustively generating various classes of combinatorial objects by encoding them as permutations. We also characterize which of these graphs are vertex-transitive or regular via their arc diagrams, give corresponding precise and asymptotic counting results, and we determine their minimum and maximum degrees. Moreover, we investigate the relation between lattice congruences of the weak order and pattern-avoiding permutations.
Extended Formulations for Stable Set Polytopes of Graphs Without Two Disjoint Odd Cycles
Published
• View Publication
• BIB
Let $G$ be an $n$-node graph without two disjoint odd cycles. The algorithm of Artmann, Weismantel and Zenklusen (STOC'17) for bimodular integer programs can be used to find a maximum weight stable set in $G$ in strongly polynomial time. Building on structural results characterizing sufficiently connected graphs without two disjoint odd cycles, we construct a size-$O(n^2)$ extended formulation for the stable set polytope of $G$.
The diameter of uniform spanning trees in high dimensions
Published
• View Publication
• BIB
We show that the diameter of a uniformly drawn spanning tree of a connected graph on $n$ vertices which satisfies certain high-dimensionality conditions typically grows like $Θ(\sqrt{n})$. In particular this result applies to expanders, finite tori $\mathbb{Z}_m^d$ of dimension $d \geq 5$, the hypercube $\{0,1\}^m$, and small perturbations thereof.
Perfectly contractile graphs and quadratic toric rings
Published in Bulletin of the London Mathematical Society 55 (2023), 1264--1274
• View Publication
• BIB
Perfect graphs form one of the distinguished classes of finite simple graphs. In 2006, Chudnovsky, Robertson, Seymour and Thomas proved that a graph is perfect if and only if it has no odd holes and no odd antiholes as induced subgraphs, which was conjectured by Berge. We consider the class ${\mathcal A}$ of graphs that have no odd holes, no antiholes and no odd stretchers as induced subgraphs. In particular, every graph belonging to ${\mathcal A}$ is perfect. Everett and Reed conjectured that a graph belongs to ${\mathcal A}$ if and only if it is perfectly contractile. In the present paper, we discuss graphs belonging to ${\mathcal A}$ from a viewpoint of commutative algebra. In fact, we conjecture that a perfect graph $G$ belongs to ${\mathcal A}$ if and only if the toric ideal of the stable set polytope of $G$ is generated by quadratic binomials. Especially, we show that this conjecture is true for Meyniel graphs, perfectly orderable graphs, and clique separable graphs, which are perfectly contractile graphs.
Matchings under distance constraints I
Published
• View Publication
• BIB
This paper introduces the \emph{$d$-distance matching problem}, in which we are given a bipartite graph $G=(S,T;E)$ with $S=\{s_1,\dots,s_n\}$, a weight function on the edges and an integer $d\in\mathbb Z_+$. The goal is to find a maximum weight subset $M\subseteq E$ of the edges satisfying the following two conditions: i) the degree of every node of $S$ is at most one in $M$, ii) if $s_it,s_jt\in M$, then $|j-i|\geq d$. The question arises naturally, for example, in various scheduling problems.
We show that the problem is NP-complete in general and admits a simple $3$-approxi\-mation. We give an FPT algorithm parameterized by $d$ and also settle the case when the size of $T$ is constant. From an approximability point of view, we show that the integrality gap of the natural integer programming model is at most $2-\frac{1}{2d-1}$, and give an LP-based approximation algorithm for the weighted case with the same guarantee. A combinatorial $(2-\frac{1}{d})$-approximation algorithm is also presented. Several greedy approaches are considered, in particular, a local search algorithm that achieves an approximation ratio of $3/2+ε$ for any constant $ε>0$ in the unweighted case. The novel approaches used in the analysis of the integrality gap and the approximation ratio of locally optimal solutions might be of independent combinatorial interest.
Some Combinatorial Characterizations of Gorenstein Graphs with Independence Number Less than Four
Published in Iran. J. Sci Technol. Trans. Sci., Vol. 44 (2020), 1667-1671
• View Publication
• BIB
Let $α=α(G)$ be the independence number of a simple graph $G$ with $n$ vertices and $I(G)$ be its edge ideal in $S=K[x_1,\ldots, x_n]$. If $S/I(G)$ is Gorenstein, the graph $G$ is called Gorenstein over $K$ and if $G$ is Gorenstein over every field, then we simply say that $G$ is Gorenstein. In this article, first we state a condition equivalent to $G$ being Gorenstein and using this we give a characterization of Gorenstein graphs with $α=2$. Then we present some properties of Gorenstein graphs with $α=3$ and as an application of these results we characterize triangle-free Gorenstein graphs with $α=3$.
The Sitting Closer to Friends than Enemies Problem in Trees
A metric space $\mathcal{T}$ is a \emph{real tree} if for any pair of points $x, y \in \mathcal{T}$ all topological embeddings $σ$ of the segment $[0,1]$ into $\mathcal{T}$, such that $σ(0)=x$ and $σ(1)=y$, have the same image (which is then a geodesic segment from $x$ to $y$). A \emph{signed graph} is a graph where each edge has a positive or negative sign. The \emph{Sitting Closer to Friends than Enemies} problem in trees has a signed graph $S$ as an input. The purpose is to determine if there exists an injective mapping (called \emph{valid distance drawing}) from $V(S)$ to the points of a real tree such that, for every $u \in V(S)$, for every positive neighbor $v$ of $u$, and negative neighbor $w$ of $u$, the distance between $v$ and $u$ is smaller than the distance between $w$ and $u$.
In this work, we show that a complete signed graph has a valid distance drawing in a real tree if and only if its subgraph composed of all (and only) its positive edges has an intersection representation by unit balls in a real tree. Besides, as an instrumental result, we show that a graph has an intersection representation by unit balls in a real tree if and only if it has an intersection representation by proper balls, and if and only if it has an intersection representation by arbitrary balls in a real tree.
Brill-Noether Existence on Graphs via $\mathbb{R}$-Divisors, Polytopes and Lattices
Published in Sel. Math. New Ser. 28, 35 (2022)
• View Publication
• BIB
We study Brill-Noether existence on a finite graph using methods from polyhedral geometry and lattices. We start by formulating analogues of the Brill-Noether conjectures (both the existence and non-existence parts) for $\mathbb{R}$-divisors, i.e. divisors with real coefficients, on a graph. We then reformulate the Brill-Noether existence conjecture for $\mathbb{R}$-divisors on a graph in geometric terms, that we refer to as the covering radius conjecture and we show a weak version, in support of it. Using this, we show an approximate version of the Brill-Noether existence conjecture for divisors on a graph. As applications, we derive upper bounds on the gonality of a graph and its $\mathbb{R}$-divisor analogue.
Constructions of point-line arrangements in the plane with large girth
A classical result by Erdős, and later on by Bondy and Simonivits, states that every $n$-vertex graph with no cycle of length $2k$ has at most $O(n^{1+1 /k})$ edges. This bound is known to be tight when $k \in \{2,3,5\},$ but it is a major open problem in extremal graph theory to decide if this bound is tight for all $k$.
In this paper, we study the effect of forbidding short even cycles in incidence graphs of point-line arrangements in the plane. It is not known if the Erdős upper bound stated above can be improved to $o(n^{1+1/k})$ in this geometric setting, and in this note, we establish non-trivial lower bounds for this problem by modifying known constructions arising in finite geometries. In particular, by modifying a construction due to Labeznik and Ustimenko, we construct an arrangement of $n$ points and $n$ lines in the plane, such that their incidence graph has girth at least $k + 5$, and determines at least $Ω({n^{1+\frac{4}{k^2+6k-3}}})$ incidences. We also apply the same technique to Wenger graphs, which gives a better lower bound for $k=5.$
Scaffold for the polyhedral embedding of cubic graphs
Published
• View Publication
• BIB
Let $G$ be a cubic graph and $Π$ be a polyhedral embedding of this graph. The extended graph, $G^{e},$ of $Π$ is the graph whose set of vertices is $V(G^{e})=V(G)$ and whose set of edges $E(G^{e})$ is equal to $E(G) \cup \mathcal{S}$, where $\mathcal{S}$ is constructed as follows: given two vertices $t_0$ and $t_3$ in $V(G^{e})$ we say $[t_0 t_3] \in \mathcal{S},$ if there is a $3$--path, $(t_0 t_1 t_2 t_3) \in G$ that is a $Π$-- facial subwalk of the embedding. We prove that there is a one to one correspondence between the set of possible extended graphs of $G$ and polyhedral embeddings of $G$.
A Unified View of Graph Regularity via Matrix Decompositions
Published
• View Publication
• BIB
We prove algorithmic weak and \Szemeredi{} regularity lemmas for several classes of sparse graphs in the literature, for which only weak regularity lemmas were previously known. These include core-dense graphs, low threshold rank graphs, and (a version of) $L^p$ upper regular graphs. More precisely, we define \emph{cut pseudorandom graphs}, we prove our regularity lemmas for these graphs, and then we show that cut pseudorandomness captures all of the above graph classes as special cases.
The core of our approach is an abstracted matrix decomposition, roughly following Frieze and Kannan [Combinatorica '99] and \Lovasz{} and Szegedy [Geom.\ Func.\ Anal.\ '07], which can be computed by a simple algorithm by Charikar [AAC0 '00]. This gives rise to the class of cut pseudorandom graphs, and using work of Oveis Gharan and Trevisan [TOC '15], it also implies new PTASes for MAX-CUT, MAX-BISECTION, MIN-BISECTION for a significantly expanded class of input graphs. (It is NP Hard to get PTASes for these graphs in general.)
Domination for latin square graphs
Published
• View Publication
• BIB
In combinatorics, a latin square is a $n\times n$ matrix filled with n different symbols, each occurring exactly once in each row and exactly once in each column. Associated to each latin square, we can define a simple graph called a latin square graph. In this article, we compute lower and upper bounds for the domination number and the k-tuple total domination numbers of such graphs. Moreover, we describe a formula for the 2-tuple total domination number.
Volumes of flow polytopes related to caracol graphs
Published
• View Publication
• BIB
Recently, Benedetti et al. introduced an Ehrhart-like polynomial associated to a graph. This polynomial is defined as the volume of a certain flow polytope related to a graph and has the property that the leading coefficient is the volume of the flow polytope of the original graph with net flow vector $(1,1,\dots,1)$. Benedetti et al. conjectured a formula for the Ehrhart-like polynomial of what they call a caracol graph. In this paper their conjecture is proved using constant term identities, labeled Dyck paths, and a cyclic lemma.
Coloring outerplanar graphs and planar 3-trees with small monochromatic components
In this work, we continue the study of vertex colorings of graphs, in which adjacent vertices are allowed to be of the same color as long as each monochromatic connected component is of relatively small cardinality. We focus on colorings with two and three available colors and present improved bounds on the size of the monochromatic connected components for two meaningful subclasses of planar graphs, namely maximal outerplanar graphs and complete planar 3-trees.
Alternating Signed Bipartite Graphs and Difference-1 Colourings
Published
• View Publication
• BIB
We investigate a class of 2-edge coloured bipartite graphs known as alternating signed bipartite graphs (ASBGs) that encode the information in alternating sign matrices. The central question is when a given bipartite graph admits an ASBG-colouring; a 2-edge colouring such that the resulting graph is an ASBG. We introduce the concept of a difference-1 colouring, a relaxation of the concept of an ASBG-colouring, and present a set of necessary and sufficient conditions for when a graph admits a difference-1 colouring. The relationship between distinct difference-1 colourings of a particular graph is characterised, and some classes of graphs for which all difference-1 colourings are ASBG-colourings are identified. One key step is Theorem 3.4.6, which generalises Hall's Matching Theorem by describing a necessary and sufficient condition for the existence of a subgraph $H$ of a bipartite graph in which each vertex $v$ of $H$ has some prescribed degree $r(v)$.
Minimum-cost integer circulations in given homology classes
Published
• View Publication
• BIB
Let $D$ be a directed graph cellularly embedded in a surface together with non-negative cost on its arcs. Given any integer circulation in $D$, we study the problem of finding a minimum-cost non-negative integer circulation in $D$ that is homologous over the integers to the given circulation. A special case of this problem arises in recent work on the stable set problem for graphs with bounded odd cycle packing number, in which the surface is non-orientable (Conforti et al., SODA'20).
For orientable surfaces, polynomial-time algorithms have been obtained for different variants of this problem. We complement these results by showing that the convex hull of feasible solutions has a very simple polyhedral description.
In contrast, only little seems to be known about the case of non-orientable surfaces. We show that the problem is strongly NP-hard for general non-orientable surfaces, and give the first polynomial-time algorithm for surfaces of fixed genus. For the latter, we provide a characterization of homology (over the integers) that allows us to recast the problem as a special integer program, which can be efficiently solved using proximity results and dynamic programming.
Dynamic list coloring of 1-planar graphs
Published
• View Publication
• BIB
A graph is $k$-planar if it can be drawn in the plane so that each edge is crossed at most $k$ times. Typically, the class of 1-planar graphs is among the most investigated graph families within the so-called "beyond planar graphs". A dynamic $\ell$-list coloring of a graph is a proper coloring so that each vertex receives a color from a list of $\ell$ distinct candidate colors assigned to it, and meanwhile, there are at least two colors appearing in the neighborhood of every vertex of degree at least two. In this paper, we prove that each 1-planar graph has a dynamic $11$-list coloring. Moreover, we show a relationship between the dynamic coloring of 1-planar graphs and the proper coloring of 2-planar graphs, which states that the dynamic (list) chromatic number of the class of 1-planar graphs is at least the (list) chromatic number of the class of 2-planar graphs.