graph
34516 papers tagged with this keyword
On Alon-Tarsi orientations of sparse graphs
Assume $G$ is a graph, $(v_1,\ldots,v_k)$ is a sequence of distinct vertices of $G$, and $(a_1,\ldots,a_k)$ is an integer sequence with $a_i \in \{1,2\}$. We say $G$ is \emph{$(a_1,\ldots,a_k)$-list extendable} (respectively, \emph{$(a_1,\ldots,a_k)$-AT extendable}) with respect to $(v_1,\ldots,v_k)$ if $G$ is $f$-choosable (respectively, $f$-AT), where $f(v_i)=a_i $ for $i \in \{1,\ldots, k\}$, and $f(v)=3$ for $v \in V(G) \setminus \{v_1,\ldots, v_k\}$. Hutchinson proved that if $G$ is an outerplanar graph, then $G$ is $(2,2)$-list extendable with respect to $(x,y)$ for any vertices $x,y$. We strengthen this result and prove that if $G$ is a $K_4$-minor-free graph, then $G$ is $(2,2)$-AT extendable with respect to $(x,y)$ for any vertices $x,y$. Then we characterize all triples $(x,y,z)$ of a $K_4$-minor-free graph $G$ for which $G$ is $(2,2,2)$-AT extendable (as well as $(2,2,2)$-list extendable) with respect to $(x,y,z)$. We also characterize the pairs $(x,y)$ of a $K_4$-minor-free graph $G$ for which $G$ is $(2,1)$-AT extendable (as well as $(2,1)$-list extendable) with respect to $(x,y)$. Moreover, we characterize all triples $(x,y,z)$ of a 3-colorable graph $G$ with its maximum average degree less than $\frac{14}{5}$ for which $G$ is $(2,2,2)$-AT extendable with respect to $(x,y,z)$.
Odd clique minors and chromatic bounds of {3$K_1$, paraglider}-free graphs
A paraglider, house, 4-wheel, is the graph that consists of a cycle $C_4$ plus an additional vertex adjacent to three vertices, two adjacent vertices, all the vertices of the $C_4$, respectively. For a graph $G$, let $χ(G)$, $ω(G)$ denote the chromatic number, the clique number of $G$, respectively. Gerards and Seymour from 1995 conjectured that every graph $G$ has an odd $K_{χ(G)}$ minor. In this paper, based on the description of graph structure, it is shown that every graph $G$ with independence number two satisfies the conjecture if one of the following is true: $χ(G) \leq 2ω(G)$ when $n $ is even, $χ(G) \leq 9ω(G)/5$ when $n$ is odd, $G$ is a quasi-line graph, $G$ is $H$-free for some induced subgraph $H$ of paraglider, house or $W_4$. Moreover, we derive an optimal linear $χ$-binding function for {3$K_1$, paraglider}-free graph $G$ that $χ(G)\leq \max\{ω(G)+3, 2ω(G)-2\}$, which improves the previous result, $χ(G)\leq 2ω(G)$, due to Choudum, Karthick and Shalu in 2008.
Distance-based (and path-based) covering problems for graphs of given cyclomatic number
Published in Discrete Mathematics 348(11):114595, 2025
• View Publication
• BIB
We study a large family of graph covering problems, whose definitions rely on distances, for graphs of bounded cyclomatic number (that is, the minimum number of edges that need to be removed from the graph to destroy all cycles). These problems include (but are not restricted to) three families of problems: (i) variants of metric dimension, where one wants to choose a small set $S$ of vertices of the graph such that every vertex is uniquely determined by its ordered vector of distances to the vertices of $S$; (ii) variants of geodetic sets, where one wants to select a small set $S$ of vertices such that any vertex lies on some shortest path between two vertices of $S$; (iii) variants of path covers, where one wants to select a small set of paths such that every vertex or edge belongs to one of the paths. We generalize and/or improve previous results in the area which show that the optimal values for these problems can be upper-bounded by a linear function of the cyclomatic number and the degree~1-vertices of the graph. To this end, we develop and enhance a technique recently introduced in [C. Lu, Q. Ye, C. Zhu. Algorithmic aspect on the minimum (weighted) doubly resolving set problem of graphs, Journal of Combinatorial Optimization 44:2029--2039, 2022] and give near-optimal bounds in several cases. This solves (in some cases fully, in some cases partially) some conjectures and open questions from the literature. The method, based on breadth-first search, is of algorithmic nature and thus, all the constructions can be computed in linear time. Our results also imply an algorithmic consequence for the computation of the optimal solutions: for some of the problems, they can be computed in polynomial time for graphs of bounded cyclomatic number.
Comparing Left and Right Quotient Sets in Groups
For a finite subset $A$ of a group $G$, we define the right quotient set and the left quotient set of $A$, respectively, as $AA^{-1} := \{a_1a_2^{-1}:a_1,a_2\in A\}$, $A^{-1}A := \{a_1^{-1}a_2:a_1,a_2\in A\}$. While the right and left quotient sets are equal if $G$ is abelian, subtleties arise when $G$ is a nonabelian group, where the cardinality difference $|AA^{-1}| - |A^{-1}A|$ may be take on arbitrarily large values. Using the results of Martin and O'Bryant on the cardinality differences of sum sets and difference sets in $\mathbb{Z}$, we prove in the infinite dihedral group, $D_\infty \cong \mathbb{Z} \rtimes \mathbb{Z}/2\mathbb{Z}$, every integer difference is achievable. Further, we prove that in $F_2$, the free group on $2$ generators, an integer difference is achievable if and only if that integer is even, and we explicitly construct subsets of $F_2$ that achieve every even integer. We further determine the minimum cardinality of $A \subset G$ so that the difference between the cardinalities of the left and right quotient sets is nonzero, depending on the existence of order $2$ elements in $G$. To prove these results, we construct difference graphs $D_A$ and $D_{A^{-1}}$ which encode equality, respectively, in the right and left quotient sets. We observe a bijection from edges in $D_A$ to edges in $D_{A^{-1}}$ and count connected components in order to obtain our results on cardinality differences $|AA^{-1}| - |A^{-1}A|$.
On tetravalent half-arc-transitive graphs
Vertex-stabilizers of trivalent edge-transitive graphs have been classified by Tutte, Goldschmidt and some others in several previous papers. Tetravalent half-arc-transitive graphs form an important class of tetravalent edge-transitive graphs. Marušič and Nedela (2001) initiated the study of the problem of classifying vertex-stabilizers of tetravalent half-arc-transitive graphs, which has received extensive attention and considerable effort in the literature. In this paper, we solve this problem by proving that a group is the vertex-stabilizer of a connected tetravalent half-arc-transitive graph if and only if it is a non-trivial concentric group. Note that a characterization of concentric groups has been given by Marušič and Nedela in 2001. Furthermore, we give an explicit construction of an infinite family of tetravalent half-arc-transitive graphs with automorphism group isomorphic to $A_{2^n}\wr \mathbb{Z}_2$ and vertex-stabilizers isomorphic to $(D_8^2\times\mathbb{Z}_{2}^{n-6})^2$ for $n\geq7$. These are the first known family of basic tetravalent half-arc-transitive graphs of bi-quasiprimitive type.
On the Number of Path Systems
A path system in a graph $G$ is a collection of paths, with exactly one path between any two vertices in $G$. A path system is said to be consistent if it is intersection-closed. We show that the number of consistent path systems on $n$ vertices is $n^{\frac{n^2}{2}(1-o(1))}$, whereas the number of consistent path systems which are realizable as the unique geodesics w.r.t. some metric is only $2^{Θ(n^2)}$.
In addition, these insights allow us to improve known bounds on the face-count of the metric cone and shed new light on enumerating maximum-VC-classes.
Nice vertices in cubic graphs
Published in Discrete Mathematics, 348 (2025) 114553
• View Publication
• BIB
A subgraph $G'$ of a graph $G$ is nice if $G-V(G')$ has a perfect matching. Nice subgraphs play a vital role in the theory of ear decomposition and matching minors of matching covered graphs. A vertex $u$ of a cubic graph is nice if $u$ and its neighbors induce a nice subgraph. D. Král et al. (2010) [9] showed that each vertex of a cubic brick is nice. It is natural to ask how many nice vertices a matching covered cubic graph has. In this paper, using some basic results of matching covered graphs, we prove that if a non-bipartite cubic graph $G$ is 2-connected, then $G$ has at least 4 nice vertices; if $G$ is 3-connected and $G\neq K_4$, then $G$ has at least 6 nice vertices. We also determine all the corresponding extremal graphs.
For a cubic bipartite graph $G$ with bipartition $(A,B)$, a pair of vertices $a\in A$ and $b\in B$ is called a nice pair if $a$ and $b$ together with their neighbors induce a nice subgraph. We show that a connected cubic bipartite graph $G$ is a brace if and only if each pair of vertices in distinct color classes is a nice pair. In general, we prove that $G$ has at least 9 nice pairs of vertices and $K_{3,3}$ is the only extremal graph.
Irreducible Combinatorially Symmetric Sign Patterns Requiring a Unique Inertia
A sign pattern is a matrix whose entries belong to the set $\{+,-,0\}$. A sign pattern requires a unique inertia if every real matrix in its qualitative class has the same inertia. Symmetric tree sign patterns requiring a unique inertia has been studied extensively in \cite{2001, 2001a, 2018}. Necessary and sufficient conditions in terms of the symmetric minimal and maximal rank, as well as conditions depending on the position and sign of the loops in the underlying graph of such patterns has been used to characterize inertia of symmetric tree sign patterns. In this paper, we consider combinatorially symmetric sign patterns with a $0$-diagonal and identify some such patterns with interesting combinatorial properties, which does not require a unique inertia. Initially, we begin with combinatorially symmetric tree sign patterns with a $0$-diagonal, with a special focus on tridiagonal sign patterns. We then consider patterns whose underlying undirected graph contain cycles but no loops, and we derive necessary conditions based on the sign of the edges and the distance between the cycles in the underlying graph for such patterns to require a unique inertia.
On the isolation number of graphs with minimum degree four
An isolating set in a graph $G$ is a set $S$ of vertices such that removing $S$ and its neighborhood leaves no edge. The isolation number $ι(G)$ of $G$ (also known as the vertex-edge domination number) is the minimum size among all isolating sets of $G$. We provide a technique for proving upper bounds on this parameter for graphs with a given minimum degree. For example, we show that if $G$ has order~$n$ and minimum degree at least~$4$, then $ι(G) \le 13n/41$, and if $G$ is also triangle-free, then $ι(G) \le 3n/10$.
Irreversible $k$-Threshold Conversion Number of Corona Product and Double Corona Product Graphs
This paper studies the irreversible $k$-threshold process on graphs, where a vertex becomes colored if at least $k$ neighbors are colored and remains colored indefinitely. We investigate vertex sets that, when initially colored, lead to a completely colored graph. The graphs under initial consideration are constructed using the corona product of cyclic graphs and complete graphs. We then introduce and explore double corona product graphs (of cyclic graphs and complete graphs) to study more complex topologies and their impact on the coloring propagation. We further extend the theory by introducing a probabilistic approach to the coloring dynamics. Our findings provide insights into the interplay between graph structure and saturation dynamics by extending the theory to new families of graphs and introducing a probabilistic approach with potential applications in epidemiology and social influence modeling.
Epsilon-saturation for stable graphs and Littlestone classes
Any Littlestone class, or stable graph, has finite sets which function as ``virtual elements'': these can be seen from the learning side as representing hypotheses which are expressible as weighted majority opinions of hypotheses in the class, and from the model-theoretic side as an approximate finitary version of realizing types. We introduce and study the epsilon-saturation of a Littlestone class, or stable graph, which is essentially the closure of the class under inductively adding all such virtual elements. We characterize this closure and prove that under reasonable choices of parameters, it remains Littlestone (or stable), though not always of the same Littlestone dimension. This highlights some surprising phenomena having to do with regimes of epsilon and the relation between Littlestone/stability and VC dimension.
Generalization and Power of Kocay's Lemma in Graph Reconstruction
This paper generalizes Kocay's lemma, with particular applications to graph reconstruction, as well as discussing and proving aspects around the power of these generalizations and Kocay's original lemma, with a result on the reconstruction of the multiplicity of a tree T as a subgraph of G.
String Graph Obstacles of High Girth and of Bounded Degree
A string graph is the intersection graph of curves in the plane. Kratochvíl previously showed the existence of infinitely many obstacles: graphs that are not string graphs but for which any edge contraction or vertex deletion produces a string graph. Kratochvíl's obstacles contain arbitrarily large cliques, so they have girth three and unbounded degree. We extend this line of working by studying obstacles among graphs of restricted girth and/or degree. We construct an infinite family of obstacles of girth four; in addition, our construction is $K_{2,3}$-subgraph-free and near-planar (planar plus one edge). Furthermore, we prove that there is a subcubic obstacle of girth three, and that there are no subcubic obstacles of high girth. We characterize the subcubic string graphs as having a matching whose contraction yields a planar graph, and based on this characterization we find a linear-time algorithm for recognizing subcubic string graphs of bounded treewidth.
Results on proper conflict-free list coloring of graphs
Given a graph $G$ and a mapping $f:V(G) \to \mathbb{N}$, an $f$-list assignment of $G$ is a function that maps each $v \in V(G)$ to a set of at least $f(v)$ colors. For an $f$-list assignment $L$ of a graph $G$, a proper conflict-free $L$-coloring of $G$ is a proper coloring $φ$ of $G$ such that $φ(v) \in L(v)$ for every vertex $v\in V(G)$ and $v$ has a color that appears precisely once at its neighborhood for every non-isolated vertex $v\in V(G)$. We say that $G$ is proper conflict-free $f$-choosable if for any $f$-list assignment $L$ of $G$, there exists a proper conflict-free $L$-coloring of $G$. For a non-negative integer $k$, we say that $G$ is \emph{proper conflict-free $({\rm degree}+k)$-choosable} if $G$ is proper conflict-free $f$-choosable where $f$ is a mapping with $f(v)= d_G(v)+k$ for every vertex $v\in V(G)$.
Motivated by degree-choosability of graphs, we investigate the proper conflict-free $({\rm degree}+k)$-choosability of graphs, especially for cases $k=1,2,3$. As the 5-cycle is not proper conflict-free $({\rm degree}+2)$-choosable and it is the only such graph we know, it is possible that every connected graph other than the 5-cycle is proper conflict-free $({\rm degree}+2)$-choosable and thus every graph is proper conflict-free $({\rm degree}+3)$-choosable. To support these, we show that every connected graph with maximum degree at most 3 distinct from the 5-cycle is proper conflict-free $(\text{degree}+2)$-choosable, and that $S(G)$ is proper conflict-free $(\text{degree}+2)$-choosable for every graph $G$, where $S(G)$ is a graph obtained from $G$ by subdividing each edge once. Furthermore, by adapting the technique of DP-colorings, we prove that every graph with maximum degree at most $4$ is proper conflict-free $({\rm degree}+3)$-choosable.
Normal 6-edge-colorings of cubic graphs with oddness 2
A normal edge-coloring of a cubic graph is a proper edge-coloring, in which every edge is adjacent to edges colored with four distinct colors or to edges colored with two distinct colors. It is conjectured that $5$ colors suffice for a normal edge-coloring of any bridgeless cubic graph and this statement is equivalent to the Petersen Coloring Conjecture.
In this paper, we extend the result of Mazzuoccolo and Mkrtchyan (Normal 6-edge-colorings of some bridgeless cubic graphs, Discrete Appl. Math. 277 (2020), 252--262), who proved that every cycle permutation graph admits a normal edge-coloring with at most $6$ colors. In particular, we show that every cubic graph with oddness $2$ admits a normal edge-coloring with at most $6$ colors.
On the extrema of the mean subtree order of graphs
It has been conjectured that the minimum and maximum of the mean subtree order among connected graphs of order $n$ are attained by the path $P_n$ and clique $K_n$, respectively. Extending ideas due to Haslegrave and Vince, we confirm that the minimum is indeed attained by $P_n$. On the other hand, we discuss different approaches (both promising and flawed) that could lead to a proof of the extremality of $K_n$.
Neighborly boxes and strings with jokers; constructions and asymptotics
We study families of axis-aligned boxes in a $d$-dimensional Euclidean space $\mathbb{R}^d$ whose placement is restricted by bounds on the dimension of their pairwise intersections. More specifically, two such boxes in $\mathbb{R}^d$ are said to be \emph{$k$-neighborly} if their intersection has dimension at least $d-k$ and at most $d-1$. The maximum number of pairwise $k$-neighborly boxes in $\mathbb{R}^d$ is denoted by $n(k,d)$. It is known that $n(k,d)=Θ(d^k)$, for fixed $1\leqslant k\leqslant d$, however, exact formulas are known only in three cases: $k=1$, $k=d-1$, and $k=d$. In particular, the equality $n(1,d)=d+1$ is equivalent to the famous theorem of Graham and Pollak concerning partitions of complete graphs into complete bipartite graphs.
In our main result we give a new construction of families of $k$-neighborly boxes which improves the lower bound for $n(k,d)$ when $k$ is close to $d$. Together with some recent upper bounds on $n(k,d)$, it gives the asymptotic equality $n(d-s,d)\thicksim\frac{2^s+1}{2^{s+1}}\cdot2^d$, for every fixed $s\leqslant d/2$. In our constructions we use a familiar interpretation of the problem in the language of Hamming cubes represented by binary strings with a special blank symbol, called \emph{joker}.
Uniform Turán density beyond 3-graphs
In the 1980s, Erdős and Sós first introduced an extremal problem on hypergraphs with density constraints. Given an $r$-uniform hypergraph $F$ (or $r$-graph for short), its uniform Turán density $π_u(F)$ is the smallest value of $d$ in which every hypergraph $H$ in which every linear-sized subhypergraph of $H$ has edge density at least $d$ contains $F$ as a subgraph. The first non-zero value of $π_u(F)$ was not found until 30 years later.
Progress in studying the set of values of the uniform Turán density of $r$-graphs has been uneven in terms of $r$: to this day there are infinitely many non-zero values known for $r=3$, a single non-zero value known for $r=4$ and none for $r\geq 5$. In this paper we obtain the first explicit values of $π_u$ for all uniformities, by proving that for every $r\geq 3$ there exist $r$-graphs $F$ with $π_u(F)=1/4$ and with $π_u(F)=\binom{r}{2}^{-\binom{r}{2}}$.
Limit spaces of vertex and edge replacement systems
We introduce and study VERSs (vertex and edge replacement systems) as a technology of graph expansions. We consider its history graph, an augmented tree that records each graph expansion, and we provide sufficient conditions under which it is hyperbolic. When hyperbolic, its Gromov boundary is what we call the limit space of the VERS. We provide three examples from different areas of mathematics: Schreier graphs and limit spaces of finitely generated contracting self-similar groups, injective post-critically finite iterated function systems and limit spaces of edge replacement systems.
Sharp Online Hardness for Large Balanced Independent Sets
We study the algorithmic problem of finding large $γ$-balanced independent sets in dense random bipartite graphs; an independent set is $γ$-balanced if a $γ$ proportion of its vertices lie on one side of the bipartition. In the sparse regime, Perkins and Wang established tight bounds within the low-degree polynomial (LDP) framework, showing a factor-$1/(1-γ)$ statistical-computational gap via the Overlap Gap Property (OGP) framework tailored for stable algorithms. However, these techniques do not appear to extend to the dense setting. For the related large independent set problem in dense random graph, the best known algorithm is an online greedy procedure that is inherently unstable, and LDP algorithms are conjectured to fail even in the "easy" regime where greedy succeeds. We show that the largest $γ$-balanced independent set in dense random bipartite graphs has size $α:=\frac{\log_b n}{γ(1-γ)}$ whp, where $n$ is the size of each bipartition, $p$ is the edge probability, and $b=1/(1-p)$. We design an online algorithm that achieves $(1-ε)(1-γ)α$ whp for any $ε>0$. We complement this with a sharp lower bound, showing that no online algorithm can achieve $(1+ε)(1-γ)α$ with nonnegligible probability. Our results suggest that the same factor-$1/(1-γ)$ gap is also present in the dense setting, supporting its conjectured universality. While the classical greedy procedure on $G(n,p)$ is straightforward, our algorithm is more intricate: it proceeds in two stages, incorporating a stopping time and suitable truncation to ensure that $γ$-balancedness-a global constraint-is met despite operating with limited information. Our lower bound utilizes the OGP framework; we build on a recent refinement of this framework for online models and extend it to the bipartite setting.