graph
35299 papers tagged with this keyword
Full Characterization of Color Degree Sequences in Complete Graphs Without Tricolored Triangles
For an edge-colored complete graph, we define the color degree of a node as the number of colors appearing on edges incident to it. In this paper, we consider colorings that don't contain tricolored triangles (also called rainbow triangles); these colorings are also called Gallai colorings.
We give a complete characterization of all possible color degree sequences $d_1 \le d_2 \le \dots \le d_n$ that can arise on a Gallai coloring of $K_n$: it is necessary and sufficient that \[ \sum_{i = k}^n \frac{1}{2^{d_i - d_{k-1}}} \ge 1 \] holds for all $1 \le k \le n$, where $d_0=0$ for convenience. As a corollary, this gives another proof of a 2018 result of Fujita, Li, and Zhang who showed that the minimum color degree in such a coloring is at most $\log_2n$.
Turán theorems for even cycles in random hypergraph
Published
• View Publication
• BIB
Let $\mathcal{F}$ be a family of $r$-uniform hypergraphs. The random Turán number $\mathrm{ex}(G^r_{n,p},\mathcal{F})$ is the maximum number of edges in an $\mathcal{F}$-free subgraph of $G^r_{n,p}$, where $G^r_{n,p}$ is the Erdös-Rényi random $r$-graph with parameter $p$. Let $C^r_{\ell}$ denote the $r$-uniform linear cycle of length $\ell$. For $p\ge n^{-r+2+o(1)}$, Mubayi and Yepremyan showed that $\mathrm{ex}(G^r_{n,p},C^r_{2\ell})\le\max\{p^{\frac{1}{2\ell-1}}n^{1+\frac{r-1}{2\ell-1}+o(1)},pn^{r-1+o(1)}\}$. This upper bound is not tight when $p\le n^{-r+2+\frac{1}{2\ell-2}+o(1)}$. In this paper, we close the gap for $r\ge 4$. More precisely, we show that $\mathrm{ex}(G^r_{n,p},C^r_{2\ell})=Θ(pn^{r-1})$ when $p\ge n^{-r+2+\frac{1}{2\ell-1}+o(1)}$. Similar results have recently been obtained independently in a different way by Mubayi and Yepremyan. For $r=3$, we significantly improve Mubayi and Yepremyan's upper bound. Moreover, we give reasonably good upper bounds for the random Turán numbers of Berge even cycles, which improve previous results of Spiro and Verstraëte.
Hardness of Finding Combinatorial Shortest Paths on Graph Associahedra
Published
• View Publication
• BIB
We prove that the computation of a combinatorial shortest path between two vertices of a graph associahedron, introduced by Carr and Devadoss, is NP-hard. This resolves an open problem raised by Cardinal. A graph associahedron is a generalization of the well-known associahedron. The associahedron is obtained as the graph associahedron of a path. It is a tantalizing and important open problem in theoretical computer science whether the computation of a combinatorial shortest path between two vertices of the associahedron can be done in polynomial time, which is identical to the computation of the flip distance between two triangulations of a convex polygon, and the rotation distance between two rooted binary trees. Our result shows that a certain generalized approach to tackling this open problem is not promising. As a corollary of our theorem, we prove that the computation of a combinatorial shortest path between two vertices of a polymatroid base polytope cannot be done in polynomial time unless P = NP. Since a combinatorial shortest path on the matroid base polytope can be computed in polynomial time, our result reveals an unexpected contrast between matroids and polymatroids.
Directed hypergraph connectivity augmentation by hyperarc reorientations
The orientation theorem of Nash-Williams states that an undirected graph admits a $k$-arc-connected orientation if and only if it is $2k$-edge-connected. Recently, Ito et al. showed that any orientation of an undirected $2k$-edge-connected graph can be transformed into a $k$-arc-connected orientation by reorienting one arc at a time without decreasing the arc-connectivity at any step, thus providing an algorithmic proof of Nash-Williams' theorem. We generalize their result to hypergraphs and therefore provide an algorithmic proof of the characterization of hypergraphs with a $k$-hyperarc-connected orientation originally given by Frank et al. We prove that any orientation of an undirected $(k,k)$-partition-connected hypergraph can be transformed into a $k$-hyperarc-connected orientation by reorienting one hyperarc at a time without decreasing the hyperarc-connectivity in any step. Furthermore, we provide a simple combinatorial algorithm for computing such a transformation in polynomial time.
On The Random Turán number of linear cycles
Published
• View Publication
• BIB
Given two $r$-uniform hypergraphs $G$ and $H$ the Turán number $\rm{ex}(G, H)$ is the maximum number of edges in an $H$-free subgraph of $G$. We study the typical value of $\rm{ex}(G, H)$ when $G=G_{n,p}^{(r)}$, the Erdős-Rényi random $r$-uniform hypergraph, and $H=C_{2\ell}^{(r)}$, the $r$-uniform linear cycle of length $2\ell$. The case of graphs ($r=2$) is a longstanding open problem that has been investigated by many researchers. We determine the order of magnitude of $\rm{ex}\left(G_{n,p}^{(r)}, C_{2\ell}^{(r)}\right)$ for all $r\geq 4$ and all $\ell\geq 2$ up to polylogarithmic factors for all values of $p=p(n)$.
Our proof is based on the container method and uses a balanced supersaturation result for linear even cycles which improves upon previous such results by Ferber-Mckinley-Samotij and Balogh-Narayanan-Skokan.
Minimal relations for the balanced algebra
Motivated by a problem in graph theory, this article introduces an algebra called the balanced algebra. This algebra is defined by generators and relations, and the main goal is to find a minimal set of relations for it.
An Overview of Universal Obstructions for Graph Parameters
Published
• View Publication
• BIB
In a recent work, we introduced a parametric framework for obtaining obstruction characterizations of graph parameters with respect to a quasi-ordering $\leqslant$ on graphs. Towards this, we proposed the concepts of class obstruction, parametric obstruction, and universal obstruction as combinatorial objects that determine the approximate behaviour of a graph parameter. In this work, we explore its potential as a unifying framework for classifying graph parameters. Under this framework, we survey existing graph-theoretic results on many known graph parameters. Additionally, we provide some unifying results on their classification.
A sufficient condition for a hypergraph to have a Berge-$k$-factor
Published
• View Publication
• BIB
For any graph (hypergraph) $G$ with vertex set $V$ and edge set $E$, we define its incidence bipartite graph $\mathcal{I}(G)$ as the bipartite graph with bipartition $(E, V)$, where an edge $e \in E$ is adjacent to a vertex $v \in V$ in $\mathcal{I}(G)$ if and only if $e$ is incident to $v$ in $G$. This representation allows all concepts and properties of $G$ to be reformulated in terms of those of $\mathcal{I}(G)$. In this paper, we investigate the notions of graph toughness and $k$-factors in bipartite graphs through this incidence perspective. As an application, our result implies the classic theorem of Enomoto, Jackson, Katerinis, and Saito: for any integer $k \geq 1$, a $k$-tough graph $G$ has a $k$-factor if $k |V(G)|$ is even and $|V(G)| \geq k+1$. Furthermore, we extend this result to hypergraphs, without requiring uniformity.
On $d$-dimensional nowhere-zero $r$-flows on a graph
Published
• View Publication
• BIB
A $d$-dimensional nowhere-zero $r$-flow on a graph $G$, an $(r,d)$-NZF from now on, is a flow where the value on each edge is an element of $\mathbb{R}^d$ whose (Euclidean) norm lies in the interval $[1,r-1]$. Such a notion is a natural generalization of the well-known concept of circular nowhere-zero $r$-flow (i.e.\ $d=1$). For every bridgeless graph $G$, the $5$-flow Conjecture claims that $φ_1(G)\leq 5$, while a conjecture by Jain suggests that $φ_d(G)=1$, for all $d \geq 3$. Here, we address the problem of finding a possible upper-bound also for the remaining case $d=2$. We show that, for all bridgeless graphs, $φ_2(G) \le 1 + \sqrt{5}$ and that the oriented $5$-cycle double cover Conjecture implies $φ_2(G)\leq τ^2$, where $τ$ is the Golden Ratio. Moreover, we propose a geometric method to describe an $(r,2)$-NZF of a cubic graph in a compact way, and we apply it in some instances. Our results and some computational evidence suggest that $τ^2$ could be a promising upper bound for the parameter $φ_2(G)$ for an arbitrary bridgeless graph $G$. We leave that as a relevant open problem which represents an analogous of the $5$-flow Conjecture in the $2$-dimensional case (i.e. complex case).
Fast Sampling of $b$-Matchings and $b$-Edge Covers
Published
• View Publication
• BIB
For an integer $b \ge 1$, a $b$-matching (resp. $b$-edge cover) of a graph $G=(V,E)$ is a subset $S\subseteq E$ of edges such that every vertex is incident with at most (resp. at least) $b$ edges from $S$. We prove that for any $b \ge 1$ the simple Glauber dynamics for sampling (weighted) $b$-matchings and $b$-edge covers mixes in $O(n\log n)$ time on all $n$-vertex bounded-degree graphs. This significantly improves upon previous results which have worse running time and only work for $b$-matchings with $b \le 7$ and for $b$-edge covers with $b \le 2$.
More generally, we prove spectral independence for a broad class of binary symmetric Holant problems with log-concave signatures, including $b$-matchings, $b$-edge covers, and antiferromagnetic $2$-spin edge models. We hence deduce optimal mixing time of the Glauber dynamics from spectral independence.
The core of our proof is a recursive coupling inspired by (Chen and Zhang '23) which upper bounds the Wasserstein $W_1$ distance between distributions under different pinnings. Using a similar method, we also obtain the optimal $O(n\log n)$ mixing time of the Glauber dynamics for the hardcore model on $n$-vertex bounded-degree claw-free graphs, for any fugacity $λ$. This improves over previous works which have at least cubic dependence on $n$.
Down-left graphs and a connection to toric ideals of graphs
Published in Involve 18 (2025) 437-458
• View Publication
• BIB
We introduce a family of graphs, which we call down-left graphs, and study their combinatorial and algebraic properties. We show that members of this family are well-covered, $C_5$-free, and vertex decomposable. By applying a result of Hà-Woodroofe and Moradi--Khosh-Ahang, the (Castelnuovo-Mumford) regularity of the associated edge ideals is the induced matching number of the graph. As an application, we give a combinatorial interpretation for the regularity of the toric ideals of chordal bipartite graphs that are $(K_{3,3} \setminus e)$-free.
Exact values and improved bounds on the clique number of cyclotomic graphs
Published in Des. Codes Cryptogr. 93 (2025), no. 12, 5131-5142
• View Publication
• BIB
Let $q$ be an odd power of a prime $p$, and $S \subset \mathbb{F}_q^*$ such that $S=-S$ and $S/S \neq \mathbb{F}_q^*$. We show that the clique number of the Cayley graph $\operatorname{Cay}(\mathbb{F}_q^+,S)$ is at most $\sqrt{|S/S|}+\sqrt{q/p}$, improving the best-known $\sqrt{q}$ upper bound for many families of such graphs substantially. Such a new bound is strongest for cyclotomic graphs and in particular, it implies the first nontrivial upper bound on the clique number of all generalized Paley graphs of non-square order, extending the work of Hanson and Pertidis. Moreover, our new bound is asymptotically sharp for an infinite family of generalized Paley graphs, and we further discover the first nontrivial family among them for which the clique number can be exactly determined. We also obtain a new lower bound on the number of directions determined by a large Cartesian product in the affine Galois plane $AG(2,q)$, which is sharp for infinite families.
Invariants of Binomial Edge Ideals via Linear Programs
Published
• View Publication
• BIB
We associate to every graph a linear program for packings of vertex disjoint paths. We show that the optimal primal and dual values of the corresponding integer program are the binomial grade and height of the binomial edge ideal of the graph. We deduce from this a new combinatorial characterization of graphs of König type and use it to show that all trees are of König type.
The log canonical threshold and the F-threshold are important invariants associated to the singularities of a variety in characteristic $0$ and characteristic $p$. We show that the optimal value of the linear program (computed over the rationals) agrees with both the F-threshold and the log canonical threshold of the binomial edge ideal if the graph is a block graph or of König type. We conjecture that this linear program computes the log canonical threshold of the binomial edge ideal of any graph.
Our results resemble theorems on monomial ideals arising from hypergraphs due to Howald and others.
A study of 2-ended graphs via harmonic functions
We prove that every recurrent graph $G$ quasi-isometric to $\mathbb{R}$ admits an essentially unique Lipschitz harmonic function $h$. If $G$ is vertex-transitive, then the action of $Aut(G)$ preserves $\partial h$ up to a sign, a fact that we exploit to prove various combinatorial results about $G$. As a consequence, we prove the 2-ended case of the conjecture of Grimmett & Li that the connective constant of a non-degenerate vertex-transitive graph is at least the golden mean.
Moreover, answering a question of Watkins from 1990, we construct a cubic, 2-ended, vertex-transitive graph which is not a Cayley graph.
Topology of Cut Complexes of Graphs
Published in SIAM J. on Discrete Mathematics,Vol. 38 (2), 1630--1675 (2024)
• View Publication
• BIB
We define the $k$-cut complex of a graph $G$ with vertex set $V(G)$ to be the simplicial complex whose facets are the complements of sets of size $k$ in $V(G)$ inducing disconnected subgraphs of $G$. This generalizes the Alexander dual of a graph complex studied by Fröberg (1990), and Eagon and Reiner (1998). We describe the effect of various graph operations on the cut complex, and study its shellability, homotopy type and homology for various families of graphs, including trees, cycles, complete multipartite graphs, and the prism $K_n \times K_2$, using techniques from algebraic topology, discrete Morse theory and equivariant poset topology.
Limits of degeneracy for colouring graphs with forbidden minors
Published in Transactions of the American Mathematical Society, 378(9):6425-6451, September 2025
• View Publication
• BIB
Motivated by Hadwiger's conjecture, Seymour asked which graphs $H$ have the property that every non-null graph $G$ with no $H$ minor has a vertex of degree at most $|V(H)|-2$. We show that for every monotone graph family $\mathcal{F}$ with strongly sublinear separators, all sufficiently large bipartite graphs $H \in \mathcal{F}$ with bounded maximum degree have this property. None of the conditions that $H$ belongs to $\mathcal{F}$, that $H$ is bipartite and that $H$ has bounded maximum degree can be omitted.
Counting traversing Hamiltonian cycles in tiled graphs
Published
• View Publication
• BIB
In this paper we extend counting of traversing Hamiltonian cycles from 2-tiled graphs to generalized tiled graphs. We further show that, for a fixed finite set of tiles, counting traversing Hamiltonian cycles can be done in linear time with respect to the size of such graph, implying counting Hamiltonian cycles in tiled graphs is fixed-parameter tractable.
Bidirected graphs, integral quadratic forms and some Diophantine equations
Bidirected graphs are multigraphs where every edge has an independent direction at each end. In the paper, with an arbitrary bidirected graph we associate a non-negative integral quadratic form (called the incidence form of the graph), and determine all forms that appear in this way in two main results: first, among non-negative connected unit forms, precisely those of Dynkin type $\mathbb{A}$ or $\mathbb{D}$ are incidence forms; second, we give simple conditions on the coefficients of a non-negative connected non-unitary form to be an incidence form. We say that those non-unitary forms have Dynkin type $\mathbb{C}$, and justify such nomenclature by generalizing known classifications and properties of non-negative quadratic forms of Dynkin types $\mathbb{A}$ and $\mathbb{D}$ to the introduced type~$\mathbb{C}$. We also show that the graphical framework of an incidence form is an useful tool to visualize its arithmetical properties, to prove new facts and to perform efficient computations for integral quadratic forms and related problems in number theory, algebra and graph theory. For instance, in a third main result we relate the walks of a bidirected graph with the $0,1,2$-roots of the associated incidence form (and to the classical root systems in the positive case). Moreover, we prove the universality property for a large class of integral quadratic forms, provide computational methods to find solutions or to characterize the finiteness of the sets of solutions of various related Diophantine equations, show a variant of Whitney's theorem on line graphs using switching classes, and apply our techniques to give a conceptual and constructive proof of the non-negativity (and possible Dynkin types) of the Euler quadratic forms of a class of finite-dimensional gentle algebras.
Matching extension and matching exclusion via the size or the spectral radius of graphs
Published
• View Publication
• BIB
A graph $G$ is said to be $k$-extendable if every matching of size $k$ in $G$ can be extended to a perfect matching of $G$, where $k$ is a positive integer. We say $G$ is $1$-excludable if for every edge $e$ of $G$, there exists a perfect matching excluding $e$. In this paper, we first establish a lower bound on the size (resp. the spectral radius) of $G$ to guarantee that $G$ is $k$-extendable. Then we determine a lower bound on the size (resp. the spectral radius) of $G$ to guarantee that $G$ is $1$-excludable. All the corresponding extremal graphs are characterized.
Rotation $r$-graphs
Published in Discrete Mathematics (2023)
• View Publication
• BIB
We study rotation $r$-graphs and show that for every $r$-graph $G$ of odd regularity there is a simple rotation $r$-graph $G'$ such that $G$ can be obtained form $G'$ by a finite number of $2$-cut reductions. As a consequence, some hard conjectures as the (generalized) Berge-Fulkerson Conjecture and Tutte's 3- and 5-flow conjecture can be reduced to rotation $r$-graphs.