arXiv++ Combinatorics

Browse math.CO papers from arXiv

graph

35299 papers tagged with this keyword
2024-02-07 v3
Visibility in Hypercubes
Published • View Publication • BIB
A subset $M$ of vertices in a graph $G$ is a mutual-visibility set if any two vertices $u$ and $v$ in $M$ ``see'' each other in $G$, that is, there exists a shortest $u,v$-path in $G$ that contains no elements of $M$ as internal vertices. The mutual-visibility number $μ(G)$ of a graph $G$ is the largest size of a mutual-visibility set in $G$. Let $n\in\mathbb{N}$ and $Q_{n}$ be an $n$-dimensional hypercube. Cicerone, Fonso, Di Stefano, Navarra, and Piselli showed that $2^{n}/\sqrt{n}\leqμ(Q_{n})\leq2^{n-1}$. In this paper, we prove that $μ(Q_{n})>0.186\cdot2^n$ and thus establish that $μ(Q_{n})=Θ(2^{n})$. We also consider the chromatic mutual-visibility number, $χ_μ(G)$, that is the smallest number of colors used on vertices of $G$, such that every color class is a mutual-visibility set. Klavžar, Kuziak, Valenzuela-Tripodoro, and Yero asked whether it is true that $χ_μ(Q_{n})=O(1)$. We answer their question in the negative by showing that $ω(1)=χ_μ(Q_{n})=O(\log\log{n})$. Finally, we study the so-called total mutual-visibility number of graphs and give asymptotically tight bounds on this parameter for hypercubes.
2024-02-07 v3
Do random initial degrees suppress concentration in preferential attachment graphs?
We consider the open problem concerning the possible lack of concentration of the degree distribution in preferential attachment graphs with random initial degree, when its distribution is characterized by extremely heavy tails of power-law type. We show that the addition of such a large number of edges causes a significant upset of the degree distribution, leading to its non-concentration. Furthermore, we show that the smallest value of the exponent for which the degree distribution exhibits concentration is 2.
2024-02-07
Complexity of the (Connected) Cluster Vertex Deletion problem on $H$-free graphs
Published • View Publication • BIB
The well-known Cluster Vertex Deletion problem (CVD) asks for a given graph $G$ and an integer $k$ whether it is possible to delete a set $S$ of at most $k$ vertices of $G$ such that the resulting graph $G-S$ is a cluster graph (a disjoint union of cliques). We give a complete characterization of graphs $H$ for which CVD on $H$-free graphs is polynomially solvable and for which it is NP-complete. Moreover, in the NP-completeness cases, CVD cannot be solved in sub-exponential time in the vertex number of the $H$-free input graphs unless the Exponential-Time Hypothesis fails. We also consider the connected variant of CVD, the Connected Cluster Vertex Deletion problem (CCVD), in which the set $S$ has to induce a connected subgraph of $G$. It turns out that CCVD admits the same complexity dichotomy for $H$-free graphs. Our results enlarge a list of rare dichotomy theorems for well-studied problems on $H$-free graphs.
2024-02-07 v2
Association schemes and orthogonality graphs on anisotropic points of polar spaces
Published • View Publication • BIB
In this paper, we study association schemes on the anisotropic points of classical polar spaces. Our main result concerns non-degenerate elliptic and hyperbolic quadrics in PG$(n,q)$ with $q$ odd. We define relations on the anisotropic points of such a quadric that depend on the type of line spanned by the points and whether or not they are of the same "quadratic type". This yields an imprimitive $5$-class association scheme. We calculate the matrices of eigenvalues and dual eigenvalues of this scheme. We also use this result, together with similar results from the literature concerning other classical polar spaces, to exactly calculate the spectrum of orthogonality graphs on the anisotropic points of non-degenerate quadrics in odd characteristic and of non-degenerate Hermitian varieties. As a byproduct, we obtain a $3$-class association scheme on the anisotropic points of non-degenerate Hermitian varieties, where the relation containing two points depends on the type of line spanned by these points, and whether or not they are orthogonal.
On multicolor Turán numbers
Published • View Publication • BIB
We address a problem which is a generalization of Turán-type problems recently introduced by Imolay, Karl, Nagy and Váli. Let $F$ be a fixed graph and let $G$ be the union of $k$ edge-disjoint copies of $F$, namely $G = \mathbin{\dot{\cup}}_{i=1}^{k} F_i$, where each $F_i$ is isomorphic to a fixed graph $F$ and $E(F_i)\cap E(F_j)=\emptyset$ for all $i \neq j$. We call a subgraph $H\subseteq G$ multicolored if $H$ and $F_i$ share at most one edge for all $i$. Define $\text{ex}_F(H,n)$ to be the maximum value $k$ such that there exists $G = \mathbin{\dot{\cup}}_{i=1}^{k} F_i$ on $n$ vertices without a multicolored copy of $H$. We show that $\text{ex}_{C_5}(C_3,n) \le n^2/25 + 3n/25+o(n)$ and that all extremal graphs are close to a blow-up of the 5-cycle. This bound is tight up to the linear error term.
2024-02-07 v2
Cycle-factors in oriented graphs
Published • View Publication • BIB
Let $k$ be a positive integer. A $k$-cycle-factor of an oriented graph is a set of disjoint cycles of length $k$ that covers all vertices of the graph. In this paper, we prove that there exists a positive constant $c$ such that for $n$ sufficiently large, any oriented graph on $n$ vertices with both minimum out-degree and minimum in-degree at least $(1/2-c)n$ contains a $k$-cycle-factor for any $k\geq4$. Additionally, under the same hypotheses, we also show that for any sequence $n_1, \ldots, n_t$ with $\sum^t_{i=1}n_i=n$ and the number of the $n_i$ equal to $3$ is $αn$, where $α$ is any real number with $0<α<1/3$, the oriented graph contains $t$ disjoint cycles of lengths $n_1, \ldots, n_t$. This conclusion is the best possible in some sense and refines a result of Keevash and Sudakov.
2024-02-07 v2
Domination and packing in graphs
Given a graph~$G$, the domination number, denoted by~$γ(G)$, is the minimum cardinality of a dominating set in~$G$. Dual to the notion of domination number is the packing number of a graph. A packing of~$G$ is a set of vertices whose pairwise distance is at least three. The packing number~$ρ(G)$ of~$G$ is the maximum cardinality of one such set. Furthermore, the inequality~$ρ(G) \leq γ(G)$ is well-known. Henning et al.\ conjectured that~$γ(G) \leq 2ρ(G)+1$ if~$G$ is subcubic. In this paper, we progress towards this conjecture by showing that~${γ(G) \leq \frac{120}{49}ρ(G)}$ if~$G$ is a bipartite cubic graph. We also show that $γ(G) \leq 3ρ(G)$ if~$G$ is a maximal outerplanar graph, and that~$γ(G) \leq 2ρ(G)$ if~$G$ is a biconvex graph. Moreover, in the last case, we show that this upper bound is tight.
2024-02-07
Block graphs - some general results and their equitable colorings
In this paper, we consider some general properties of block graphs as well as the equitable coloring problem in this class of graphs. In the first part we establish the relation between two structural parameters for general block graphs. We also give complete characterization of block graphs with given value of parameter $α_{\min}$. In the next part of the paper we confirm the hypothesis for some subclass of GLS block graphs in which the problem of EQUITABLE COLORING is unlikely to be polynomial time solvable. We give also an equitable $(n+2)$-algorithm for all GLS block graphs. As a by product we prove that the equitable chromatic spectrum for the subclass of GLS block graphs is gap-free.
2024-02-06
The generalizations of Hamiltonian in oriented graphs
An oriented graph is an orientation of a simple graph. In 2009, Keevash, Kühn and Osthus proved that every sufficiently large oriented graph $D$ of order $n$ with $(3n-4)/8$ is Hamiltonian. Later, Kelly, Kühn and Osthus showed that it is also pancyclic. Inspired by this, we show that for any given constant $t$ and positive integer partition $n = n_1 + \cdots + n_t$, if $D$ is an oriented graph on $n$ vertices with minimum semidegree at least $(3n-4)/8$, then it contains $t$ disjoint cycles of lengths $n_1,\ldots , n_t$. Also, we determine the bounds on the semidegree of sufficiently large oriented graphs that are strongly Hamiltonian-connected, $k$-ordered Hamiltonian and spanning $k$-linked.
2024-02-06
On Automorphism Group of a Family of Symmetric Graphs
Published • View Publication • BIB
In this paper, we study the automorphism group and geodesic transitivity of a family of vertex-transitive graphs $H(n,k)$, introduced by Fu-Tao Hu \textit{et.al.} in 2010. In the process, we address some naturally arising, unanswered questions from that paper.
2024-02-06
So's conjecture for integral circulant graphs of $4$ types
Published • View Publication • BIB
In [Discrete Mathematics 306 (2005) 153-158], So proposed a conjecture saying that integral circulant graphs with different connection sets have different spectra. This conjecture is still open. We prove that this conjecture holds for integral circulant graphs whose orders have prime factorization of $4$ types.
2024-02-06 v3
Hyperoctahedral group characters and a type-BC analog of graph coloring
Published • View Publication • BIB
We state combinatorial formulas for hyperoctahedral group ($\mathfrak B_n$) character evaluations of the form $χ( {{\widetilde C}_w}^{\negthickspace\negthickspace BC}\negthickspace(1))$, where ${{\widetilde C}_w}^{\negthickspace\negthickspace BC}\negthickspace(1) \in \Bbb Z[\mathfrak B_n]$ is a type-BC Kazhdan-Lusztig basis element, with $w \in \mathfrak B_n$ corresponding to simultaneously smooth type-B and C Schubert varieties. We also extend the definition of symmetric group codominance to elements of $\mathfrak B_n$ and show that for each element $w \in \mathfrak B_n$ above, there exists a BC-codominant element $v \in \mathfrak B_n$ satisfying $χ( {{\widetilde C}_w}^{\negthickspace\negthickspace BC}\negthickspace(1)) = χ( {{\widetilde C}_v}^{\negthickspace\negthickspace BC}\negthickspace(1))$ for all $\mathfrak B_n$-characters $χ$. Combinatorial structures and maps appearing in these formulas are type-BC extensions of planar networks, unit interval orders, indifference graphs, poset tableaux, and colorings. Using the ring of type-BC symmetric functions, we introduce natural generating functions $Y( {{\widetilde C}_w}^{\negthickspace\negthickspace BC}\negthickspace(1))$ for the above evaluations. These provide a new type-BC analog of Stanley's chromatic symmetric functions [Adv. Math. 111 (1995) pp. 166-194].
2024-02-06
A classification of nonzero skew immaculate functions
Published in Involve 19 (2026) 87-105 • View Publication • BIB
This article presents conditions under which the skewed version of immaculate noncommutative symmetric functions are nonzero. The work is motivated by the quest to determine when the matrix definition of a skew immaculate function aligns with the Hopf algberaic definition. We describe a necessary condition for a skew immaculate function to include a non-zero term, as well as a sufficient condition for there to be at least one non-zero term that survives any cancellation. We bring in several classical theorems such as the Pigeonhole Principle from combinatorics and Hall's Matching Theorem from graph theory to prove our theorems.
2024-02-06 v2
A note on graphs of $k$-colourings
Published • View Publication • BIB
For a graph $G$, the $k$-colouring graph of $G$ has vertices corresponding to proper $k$-colourings of $G$ and edges between colourings that differ at a single vertex. The graph supports the Glauber dynamics Markov chain for $k$-colourings, and has been extensively studied from both extremal and probabilistic perspectives. In this note, we show that for every graph $G$, there exists $k$ such that $G$ is uniquely determined by its $k$-colouring graph, confirming two conjectures of Asgarli, Krehbiel, Levinson and Russell. We further show that no finite family of generalised chromatic polynomials for $G$, which encode induced subgraph counts of its colouring graphs, uniquely determine $G$.
Planar Graphs with Homomorphisms to the 9-cycle
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.
2024-02-05 v2
Approximate packing of independent transversals in locally sparse graphs
Published • View Publication • BIB
Fix $\varepsilon >0$ and consider a multipartite graph $G$ with maximum degree at most $(1-\varepsilon)n$, parts $V_1,\ldots,V_k$ of the same size $n$, and where every vertex has at most $o(n)$ neighbors in any part $V_i$. Loh and Sudakov proved that any such $G$ has an independent transversal. They further conjectured that the vertex set of $G$ can be decomposed into pairwise disjoint independent transversals. In the present paper, we resolve this conjecture approximately by showing that $G$ contains $(1-\varepsilon)n$ pairwise disjoint independent transversals. As applications, we give approximate answers to questions of Yuster, and of Fischer, Kühn, and Osthus.
2024-02-05 v3
On open-separating dominating codes in graphs
Published in Discrete Applied Mathematics, Volume 375, 15 November 2025, Pages 215-238 • View Publication • BIB
Using dominating sets to separate vertices of graphs is a well-studied problem in the larger domain of identification problems. In such problems, the objective is to choose a suitable dominating set $C$ of a graph $G$ which is also separating in the sense that the neighbourhoods of any two distinct vertices of $G$ have distinct intersections with $C$. Such a dominating and separating set $C$ of a graph is often referred to as a code in the literature. Depending on the types of dominating and separating sets used, various problems arise under various names in the literature. In this paper, we introduce a new problem in the same realm of identification problems whereby the code, called open-separating dominating code, or OD-code for short, is a dominating set and uses open neighbourhoods for separating vertices. The paper studies the fundamental properties concerning the existence, hardness and minimality of OD-codes. Due to the emergence of a close and yet difficult to establish relation of the OD-code with another well-studied code in the literature called open (neighborhood)-locating dominating code (referred to as the open-separating total-dominating code and abbreviated as OTD-code in this paper), we compare the two codes on various graph families. Finally, we also provide an equivalent reformulation of the problem of finding OD-codes of a graph as a covering problem in a suitable hypergraph and discuss the polyhedra associated with OD-codes, again in relation to OTD-codes of some graph families already studied in this context.
2024-02-05 v2
On the $D_α$ spectral radius of non-transmission regular graphs
Let $G$ be a connected graph with order $n$ and size $m$. Let $D(G)$ and $Tr(G)$ be the distance matrix and diagonal matrix with vertex transmissions of $G$, respectively. For any real $α\in[0,1]$, the generalized distance matrix $D_α(G)$ of $G$ is defined as $$D_α(G)=αTr(G)+(1-α)D(G).$$ The largest eigenvalue of $D_α(G)$ is called the $D_α$ spectral radius or generalized distance spectral radius of $G$, denoted by $μ_α(G)$. In this paper, we establish a lower bound on the difference between the maximum vertex transmission and the $D_α$ spectral radius of non-transmission regular graphs, and we also characterize the extremal graphs attaining the bound.
Resolution of the Kohayakawa-Kreuter conjecture
Published • View Publication • BIB
A graph $G$ is said to be Ramsey for a tuple of graphs $(H_1,\dots,H_r)$ if every $r$-coloring of the edges of $G$ contains a monochromatic copy of $H_i$ in color $i$, for some $i$. A fundamental question at the intersection of Ramsey theory and the theory of random graphs is to determine the threshold at which the binomial random graph $G_{n,p}$ becomes a.a.s. Ramsey for a fixed tuple $(H_1,\dots,H_r)$, and a famous conjecture of Kohayakawa and Kreuter predicts this threshold. Earlier work of Mousset-Nenadov-Samotij, Bowtell-Hancock-Hyde, and Kuperwasser-Samotij-Wigderson has reduced this probabilistic problem to a deterministic graph decomposition conjecture. In this paper, we resolve this deterministic problem, thus proving the Kohayakawa-Kreuter conjecture. Along the way, we prove a number of novel graph decomposition results which may be of independent interest.
2024-02-05
The change of vertex energy when joining trees
Published • View Publication • BIB
In this manuscript we study how the vertex energy of a tree is affected when joined with a bipartite graph. We find an alternating pattern with respect to the coalescence vertex: the energy decreases for vertices located at odd distances and increases for those located at even distances.