graph
34516 papers tagged with this keyword
On the Turán number of odd-ballooning of $3$-chromatic graphs
Given a graph $F$, the Turán number ${\rm ex}(n,F)$ is the maximum number of edges in any $n$-vertex $F$-free graph. The odd-ballooning of $F$, denoted by $F^{o}$, is a graph obtained by replacing each edge of $F$ with an odd cycle, where all new vertices of the odd cycles are distinct. The Turán number of the odd-ballooning of $F$ has been established for several important cases. For a star, it was determined by Erdős, Füredi, Gould, and Gunderson (1995), Hou, Qiu, and Liu (2018), and Yuan (2018); for trees under certain conditions, by Zhu and Chen (2023); and for complete bipartite graphs $K_{s,t}$ ($t\geq s \geq 2$) where each substituted odd cycle has length at least five, by Peng and Xia (2024). In this paper, we apply Simonovits' celebrated method of progressive induction to determine the Turán number for the odd-ballooning of a class of $3$-chromatic graphs. Specifically, let $F$ be a graph formed by connecting a single vertex to all vertices of another graph whose components are either non-trivial trees or even cycles. We determine ${\rm ex}(n,F^{o})$ when each substituted odd cycle in $F^{o}$ has length at least five. As corollaries, we obtain the Turán number for the odd-ballooning of several well-known graph classes, including odd wheels, fan graphs, book graphs, and friendship graphs, where each substituted odd cycle in the ballooning has length at least five.
Non-bipartite graphs without theta subgraphs
Fix a color-critical graph $H$ with $χ(H)=r+1\geq 3$. Simonovits' chromatic critical edge theorem and Nikiforov's spectral chromatic critical edge theorem imply that $T_{n,r}$ is the extremal graph with the maximum size and the maximum spectral radius over all $H$-free graphs of order $n$, respectively. Since $T_{n,r}$ is $r$-partite, it is interesting to study the Turán number and the spectral Turán number of a color-critical graph $H$ in non-$r$-partite graphs. Denote by ${\rm EX}_{r+1}(n,H)$ (resp. ${\rm SPEX}_{r+1}(n,H)$) the family of $n$-vertex $H$-free non-$r$-partite graphs with the maximum size (resp. spectral radius). Brouwer showed that any graph in $\mathrm{EX}_{r+1}(n,K_{r+1})$ is of size $e(T_{n,r})-\lfloor\frac{n}{r}\rfloor+1$ for $n\geq 2r+1$. Lin, Ning and Wu [Combin. Probab. Comput. 30 (2) (2021) 258--270], and Li and Peng [SIAM J. Discrete Math. 37 (2023) 2462--2485] characterized the unique graph in $\mathrm{SPEX}_{r+1}(n,K_{r+1})$ for $r\geq 2$. Particularly, the unique graph is of size $e(T_{n,r})-\lfloor\frac{n}{r}\rfloor+1$. Thus $\mathrm{SPEX}_{r+1}(n,K_{r+1})\subseteq \mathrm{EX}_{r+1}(n,K_{r+1})$. It is natural to conjecture that ${\rm SPEX}_{r+1}(n,H)\subseteq {\rm EX}_{r+1}(n,H)$ for arbitrary color-critical graph $H$ with $χ(H)=r+1\geq 3$. Fix $q,r\geq 2$ with even $q$, a theta graph $θ(1,q,r)$ is obtained from internally disjoint paths of lengths $1,q,r$, respectively by sharing a common pair of endpoints. In this paper, we prove that $\mathrm{SPEX}_{3}(n,θ(1,q,r))\subseteq \mathrm{EX}_{3}(n,θ(1,q,r))$ for sufficiently large $n$. Furthermore, we determine all the graphs in $\mathrm{SPEX}_{3}(n,θ(1,q,r))$ and $\mathrm{EX}_{3}(n,θ(1,q,r))$, respectively.
Influence Prediction in Collaboration Networks: An Empirical Study on arXiv
This paper provides an empirical study of the Social Sphere Model for influence prediction, previously introduced by the authors, combining link prediction with top-k centrality-based selection. We apply the model to the temporal arXiv General Relativity and Quantum Cosmology collaboration network, evaluating its performance under varying edge sampling rates and prediction horizons to reflect different levels of initial data completeness and network evolution. Accuracy is assessed using mean squared error in both link prediction and influence maximization tasks. The results show that the model effectively identifies latent influencers, i.e., nodes that are not initially central but later influential, and performs best with denser initial graphs. Among the similarity measures tested, the newly introduced RA-2 metric consistently yields the lowest prediction errors. These findings support the practical applicability of the model to predict real-world influence in evolving networks.
On the complexity of constrained reconfiguration and motion planning
Coordinating the motion of multiple agents in constrained environments is a fundamental challenge in robotics, motion planning, and scheduling. A motivating example involves $n$ robotic arms, each represented as a line segment. The objective is to rotate each arm to its vertical orientation, one at a time (clockwise or counterclockwise), without collisions nor rotating any arm more than once. This scenario is an example of the more general $k$-Compatible Ordering problem, where $n$ agents, each capable of $k$ state-changing actions, must transition to specific target states under constraints encoded as a set $\mathcal{G}$ of $k$ pairs of directed graphs.
We show that $k$-Compatible Ordering is $\mathsf{NP}$-complete, even when $\mathcal{G}$ is planar, degenerate, or acyclic. On the positive side, we provide polynomial-time algorithms for cases such as when $k = 1$ or $\mathcal{G}$ has bounded treewidth. We also introduce generalized variants supporting multiple state-changing actions per agent, broadening the applicability of our framework. These results extend to a wide range of scheduling, reconfiguration, and motion planning applications in constrained environments.
Eigenvalue Distribution of Large Weighted Random Sparse Uniform $q$-Hypergraphs
We study eigenvalue distribution of the adjacency matrix $A^{(N,p,q)}$ of weighted random uniform $q$-hypergraphs $Γ= Γ_{N,p,q}$. We assume that the graphs have $N$ vertices and the average number of hyperedges attached to one vertex is $(q-1)!\cdot p$. To each edge of the graph $e_{ij}$ we assign a weight given by a random variable $a_{ij}$ with all moments finite. We consider the moments of normalized eigenvalue counting function $σ_{N,p,q}$ of $A^{(N,p,q)}$. Assuming all moments of $a$ finite, we obtain recurrent relations that determine the moments of the limiting measure $σ_{p,q} = \lim_{N\to\infty} σ_{N,p,q}$.
Non-r-partite graphs without complete split subgraphs
The classical Simonovits' chromatic critical edge theorem shows that for sufficiently large $n$, if $H$ is an edge-color-critical graph with $χ(H)=p+1\ge 3$, then the Turán graph $T_{n,p}$ is the unique extremal graph with respect to ${\rm ex}(n,H)$. Denote by ${\rm EX}_{r+1}(n,H)$ and ${\rm SPEX}_{r+1}(n,H)$ the family of $n$-vertex $H$-free non-$r$-partite graphs with the maximum size and with the spectral radius, respectively. Li and Peng [SIAM J. Discrete Math. 37 (2023) 2462--2485] characterized the unique graph in $\mathrm{SPEX}_{r+1}(n,K_{r+1})$ for $r\geq 2$ and showed that $\mathrm{SPEX}_{r+1}(n,K_{r+1})\subseteq \mathrm{EX}_{r+1}(n,K_{r+1})$. It is interesting to study the extremal or spectral extremal problems for color-critical graph $H$ in non-$r$-partite graphs. For $p\geq 2$ and $q\geq 1$, we call the graph $B_{p,q}:=K_p\nabla qK_1$ a complete split graph (or generalized book graph). In this note, we determine the unique spectral extremal graph in $\mathrm{SPEX}_{r+1}(n,B_{p,q})$ and show that $\mathrm{SPEX}_{r+1}(n,B_{p,q})\subseteq \mathrm{EX}_{r+1}(n,B_{p,q})$ for sufficiently large $n$.
On the Metric Dimension of Generalized Petersen Graphs $P(n,3)$
The metric dimension of a graph $G$ is defined as the minimum number of vertices in a subset $S\subset V(G)$ such that all other vertices are uniquely determined by their distances to the vertices in $S$, and is denoted by $\dim(G)$. In this paper, we study the metric dimension of generalized Petersen graphs $P(n,3)$. The notions of good and bad vertices, which are introduced in Imran et al. (2014, Ars. Combinatoria 117, 113-130), are instrumental in determining the lower bound of the metric dimension for certain types of graphs. We propose an approach, based on these notions, to determine the lower bound of $\dim(P(n,3))$. Moreover, we shall prove that $\dim(P(n,3))=4$, where $n\equiv2,3,4,5 \,\,(\text{mod}\,\, 6)$ and is sufficiently large.
Perfect tilings with the generalised triangle in $k$-graphs
Denote by $T_k$ the generalised triangle, a $k$-uniform hypergraph on vertex set $\{1,2,\dots,2k-1\}$ with three edges $\{1,\dots,k-1,k\}$,$\{1,\dots,k-1,k+1\}$ and $\{k,k+1,\dots,2k-1\}$. Recently, Bowtell, Kathapurkar, Morrison and Mycroft [arXiv: 2505.05606] established the exact minimum codegree threshold for perfect $T_3$-tilings in $3$-graphs. In this paper, we extend their result to all $k \geq 3$, determining the optimal minimum codegree threshold for perfect $T_k$-tilings in $k$-graphs. Our proof uses the lattice-based absorption method, as is usual, but develops a unified and effective approach to build transferrals for all uniformities, which is of independent interest. Additionally, we establish an asymptotically tight minimum codegree threshold for a rainbow variant of the problem.
Nucleation-free independent graphs with implied nonedges
We give inductive constructions of independent graphs that contain implied nonedges but do not contain any non-trivial rigid subgraphs, or \emph{nucleations}: some of the constructions and proofs apply to 3-dimensional abstract rigidity matroids with their respective definitions of nucleations and implied nonedges. The first motivation for the inductive constructions of this paper, which generate an especially intractable class of flexible circuits, is to illuminate further obstacles to settling Graver's maximality conjecture that the 3-dimensional generic rigidity matroid is isomorphic to Whiteley's cofactor matroid (the unique maximal matroid in which all graphs isomorphic to $K_5$ are circuits). While none of the explicit examples we provide refutes the maximality conjecture (since their properties hold in both matroids) the construction schemes are useful regardless whether the conjecture is true or false, e.g. for constructing larger (counter)examples from smaller ones. The second motivation is to make progress towards a polynomial-time algorithm for deciding independence in the abovementioned maximal matroid. Nucleation-free graphs with implied nonedges, such as the families constructed in this paper, are the key obstacles that must be dealt with for improving the current state of the art.
Vertex energy distributions in regular graph structures
The energy of a vertex $v_i$ in a graph $G$ is defined as $\mathcal{E}_G(v_i) = |A|_{ii}$, where $A$ is the adjacency matrix of $G$, $A^*$ denotes the conjugate transpose of $A$, and $|A| = (AA^*)^{1/2}$. The total energy of the graph, $\mathcal{E}(G)$, is then the sum of the energies of all vertices: $\mathcal{E}(G) = \mathcal{E}_G(v_1) + \mathcal{E}_G(v_2) + \dots + \mathcal{E}_G(v_n)$. In this paper, we compute the vertex energy for several well-known regular graphs, including the Frucht graph, Desargues graph, Tutte-Coxeter graph, Heawood graph, Shrikhande graph, and Petersen graph.
Spectral Turán-type problem in non-$r$-partite graphs: Forbidden generalized book graph $B_{r,k}$
Given a graph $H$, a graph is said to be $H$-free if it does not contain $H$ as a subgraph. A graph is color-critical when it has an edge whose removal leads to a reduction in its chromatic number. For a graph $H$ with a chromatic number of \(r + 1\), we use \(\text{spex}_{r + 1}(n, H)\) to represent the maximum spectral radius among non-$r$-partite $H$-free graphs of order $n$. The set of all non-$r$-partite $H$-free graphs of order $n$ that have a spectral radius of \(\text{spex}_{r + 1}(n, H)\) is denoted as \(\text{SPEX}_{r + 1}(n, H)\). For \(r\geq2\) and \(k\geq1\), we define \(B_{r,k}\) as the graph constructed by connecting each vertex of \(K_r\) to every vertex of an independent set with size $k$. We refer to \(B_{r,k}\) as a book graph (in the case of \(r = 2\)) or a generalized book graph (when \(r\geq3\)). It should be noted that \(B_{r,k}\) is a color-critical graph with a chromatic number of \(r + 1\). Lin, Ning, and Wu (2021) identified the unique extremal graph within \(\text{SPEX}_3(n, B_{2,1})\); Li and Peng (2023) determined the unique extremal graph in \(\text{SPEX}_{r + 1}(n, B_{r,1})\) for all \(r\geq2\). Quite recently, Liu and Miao (2025) specified the unique extremal graph in \(\text{SPEX}_3(n, B_{2,k})\) for all \(k\geq2\). Inspired by these remarkable results, this paper, relying on spectral stability theory, local structure characterization, along with the theory of characteristic equations and Rayleigh quotient equations, aims to determine the unique extremal graph in \(\text{SPEX}_{r + 1}(n, B_{r,k})\) for \(r\geq3\), \(k\geq1\), and sufficiently large $n$. This work partially addresses an open problem put forward in [38].
The spectral Turán problem: Characterizing spectral-consistent graphs
Let ${\rm EX}(n,H)$ and ${\rm SPEX}(n,H)$ denote the families of $n$-vertex $H$-free graphs with the maximum size and the maximum spectral radius, respectively. A graph $H$ is said to be spectral-consistent if ${\rm SPEX}(n,H)\subseteq {\rm EX}(n,H)$ for sufficiently large $n$. A fundamental problem in spectral extremal graph theory is to determine which graphs are spectral-consistent.
Cioabă, Desai and Tait [European J. Combin. 99 (2022) 103420] proposed the following conjecture: Let $H$ be any graph such that the graphs in ${\rm EX}(n,H)$ are Turán graph plus $O(1)$ edges. Then $H$ is spectral-consistent. Wang, Kang and Xue [J. Combin. Theory Ser. B 159 (2023) 20--41] confirmed this conjecture, along with a stronger result.
In this paper, we continue to explore the spectral-consistent problem. We prove that for any finite graph $H$, if $\mathcal{M}(H)$ is matching-good, then $H$ is spectral-consistent. This provides a weaker condition than the one presented by Wang, Kang, and Xue for guaranteeing that $H$ is spectral-consistent. This result allows us to characterize spectral-consistency for several important classes of forbidden graphs $H$: generalized color-critical graphs (including the Petersen graph and the dodecahedron graph), and the odd-ballooning of trees or complete bipartite graphs. Moreover, we provide a concise proof for a spectral-consist result by Chen, Lei and Li [European J. Combin. 130 (2025) 104226]. Additionally, we propose problems for future research.
Strongly Set-Colorable Graphs: A Complete Characterization
In this note, we revisit the notion of strong set-colorings introduced by Hegde (2009) and completed by equivalences due to Boutin et al. (2010) and provide a necessary and sufficient \emph{Steiner packing} characterisation: a finite graph $G$ is strongly set-colorable if and only if its associated $3$-uniform hypergraph is a $(2,3,2^{n}-1)$-packing of the unique Steiner triple system $S(2,3,2^{n}-1)$. This unification allows many earlier necessary conditions to be derived instantly as corollaries, streamlining the structure theory of strongly set-colorable graphs.
Sampling tree-weighted partitions without sampling trees
This paper gives a new algorithm for sampling tree-weighted partitions of a large class of planar graphs. Formally, the tree-weighted distribution on $k$-partitions of a graph weights $k$-partitions proportional to the product of the number of spanning trees of each partition class. Recent work on problems in computational redistricting analysis has driven special interest in the conditional distribution where all partition classes have the same size (balanced partitions). One class of Markov chains in wide use aims to sample from balanced tree-weighted $k$-partitions using a sampler for balanced tree-weighted 2-partitions. Previous implementations of this 2-partition sampler would draw a random spanning tree and check whether it contains an edge whose removal produces a balanced 2-component forest; if it does, this 2-partition is accepted, otherwise the algorithm rejects and repeats. In practice, this is a significant computational bottleneck.
We show that in fact it is possible to sample from the balanced tree-weighted 2-partition distribution directly, without first sampling a spanning tree; the acceptance and rejection rates are the same as in previous samplers. We prove that on a wide class of planar graphs encompassing network structures typically arising from the geographic data used in computational redistricting, our algorithm takes expected linear time $O(n)$. Notably, this is asymptotically faster than the best known method to generate random trees, which is $O(n \log^2 n)$ for approximate sampling and $O(n^{1 + \log \log \log n / \log \log n})$ for exact sampling. Additionally, we show that a variant of our algorithm also gives a speedup to $O(n \log n)$ for exact sampling of uniformly random trees on these families of graphs, improving the bounds for both exact and approximate sampling.
Combinatorial and Gaussian Foundations of Rational Nth Root Approximations: Theorems and Conjectures
We present an approach (the biroot method) for nth root approximation that yields closed-form rational functions with coefficients derived from binomial structures, Gaussian functions, or qualifying DAG structures. The method emerges from an analysis of Newton's method applied to root extraction, revealing that successive iterations generate coefficients following rows of Pascal's triangle in an alternating numerator-denominator pattern. After further exploration of these patterns, we formulate three main conjectures: (1) the Binomial Biroot Conjecture establishing the fundamental alternating coefficient structure to approximate nth roots (for which we prove the square root case and optimal parameter conditions), (2) the Gaussian Biroot Conjecture, and (3) the General DAG Biroot Conjecture showing a structural invariance to nth root approximation using arbitrary linearly-constructed directed acyclic graphs (DAGs). Computational evidence demonstrates superior convergence properties when compared to Taylor series and Padé approximations, especially considering the more direct and less computationally intensive approach to the biroot function construction. A computational framework has been developed to support systematic exploration of the biroot method's parameter space and to enable extensive numerical and symbolic analysis. The method provides both theoretical insights and computational significance by connecting combinatorial structures to nth root rational approximation theory.
Perfect codes in Cayley graphs of Hajós groups
A perfect code in a graph $Γ$ is a subset $C$ of the vertex set of $Γ$ such that every vertex of $Γ$ outside $C$ has exactly one neighbour in $C$. A perfect code in a directed graph can be defined similarly by requiring that for every vertex $v$ outside $C$ there exists exactly one vertex $u$ in $C$ such that the arc from $u$ to $v$ exists in $Γ$. A subset $X$ of an abelian group $G$ is said to be periodic if there exists a non-identity element $g$ of $G$ such that $g + X = X$. A factorization of $G$ is a pair of nonempty subsets $(A, B)$ of $G$ such that every element $g$ of $G$ can be expressed uniquely as $g = a+b$ with $a \in A$ and $b \in B$. If for every factorization $(A, B)$ of an abelian group $G$ at least one of $A$ and $B$ is periodic, then $G$ is said to be a Hajós group. In this paper we classify all Cayley graphs (directed or undirected) of Hajós groups which admit perfect codes, and moreover we determine all perfect codes in such Cayley graphs.
On the foundations of signed graphs I: chain groups, frame matroid, and bivariate flow polynomial
This paper studies signed graphs with possible outer-edges. We introduce and investigate the chain group, the boundary operator, the co-boundary operator, the flow group, the tension group, the homology group, the cohomology group, with coefficients in an abelian group. We also introduce and investigate the bivariate flow polynomial for signed graphs. The guiding principle is the correspondence between representable matroids over $\mathbb{R}$ on a ground set $E$ of edges and the subspaces of the vector space of real-valued chains on the same ground set. The frame matroid of signed graph emerges naturally by defining circuits as minimal supports of nonzero flows, rather than listing circuit patterns abruptly. Likewise, bonds, or co-circuits, can be obtained as minimal supports of nonzero tensions. In addition to standardizing the concepts and their meanings of signed graphs, we update the following results: (1) Characterization of cuts and bonds of signed graph with outer-edges. (2) The structures of flow group, boundary group, and homology group, with coefficients in an arbitrary abelian group. (3) Introduction of bivariate flow polynomial of signed graph, revealing the mystery of inexistence of univariate flow polynomial of signed graph in the literature.
Spanning path-cycle systems with given end-vertices in regular graphs (full version)
We prove the following theorem. Let $r\ge 4$ be an integer, and $G$ be a $K_{1,r}$-free $r$-edge-connected $r$-regular graph. Then, for every set $W$ of even number of vertices of $G$ such that the distance between any two vertices of $W$ in $G$ is at least 3, $G$ has vertex-disjoint paths and cycles $P_1, \ldots, P_m, C_1, \ldots, C_n$ such that (i) $V(G)=V(P_1) \cup \cdots \cup V(P_m) \cup V(C_1) \cup \cdots \cup V(C_n)$, (ii) each path $P_i$ connects two vertices of $W$, and (iii) the set of the end-vertices of $P_i$'s is equal to $W$. A similar result for a 3-regular graph is obtained in [Graphs Combin. {\bf 39} (2023) \#85]. However, our proof is widely different from its proof.
Cycles of consecutive lengths in $3$-connected graphs
Recently Lin, Wang and Zhou have proved that every $3$-connected nonbipartite graph of minimum degree at least $k$ with $k\ge 6$ and order at least $k+2$ contains $k$ cycles of consecutive lengths. They also conjecture that this result is true for $k=4, 5.$ We prove this conjecture. Our proofs use many ideas of Gao, Huo, Liu and Ma.
Embedding Graphs of Simple Treewidth into Sparse Products
We study embeddings of graphs with bounded treewidth or bounded simple treewidth into the undirected graph underlying the directed product of two directed graphs. If the factors have bounded maximum indegrees, then the product graph has bounded maximum indegree and therefore is sparse. We prove that every graph of simple treewidth $k$ is contained in (ignoring edge directions) the directed product of directed graphs $\vec H_1$ and $\vec H_2$, with $Δ^-(\vec H_1), Δ^-(\vec H_2) \leq k-1 $ and $\text{tw}(H_1), \text{tw}(H_2) \leq k-1$. Further, we show that this treewidth bound is best possible. Several corollaries follow from our results: every outerplanar graph is contained in the directed product of trees with maximum indegree $1$, and every planar graph with treewidth $3$ is contained in a directed product of graphs with treewidth $2$ and maximum indegree $2$. However, for graphs of treewidth $k$, we prove a negative result: for any integers $s, t, k \geq 1$, there is a graph $G$ with treewidth $k$ not contained in the directed product of $\vec H_1$ and $\vec H_2$ for any directed graphs $\vec H_1$ and $\vec H_2$ with $Δ^-(\vec H_1) \leq s$, $Δ^-(\vec H_2) \leq t$, and $\text{tw}(H_1), \text{tw}(H_2) \leq k-1$. This result stands in stark contrast to the strong product case, where Liu, Norin and Wood [arXiv:2410.20333] proved that the optimal lower bound on the factors is about half the treewidth.