graph
34516 papers tagged with this keyword
Induced planar Turán numbers
The planar Turá number of a graph $F$ is the maximum number of edges an $n$-vertex $F$-free planar graph can have. We study the case where $F$ is forbidden as an induced subgraph, thereby introducing the induced planar Turá numbers. We will determine a sharp upper bound when $F$ is $Θ_4$, a $4$-cycle with a diagonal edge, and obtain exact extremal values in case $F$ is a path $P_k$ on $k$ vertices, for $k=3,4$ and $5$.
Arboretum.hs: Symbolic manipulation for algebras of graphs
We design the Arboretum$.$hs package for symbolic computations with algebras of trees and more general graphs in Haskell. Thanks to the declarative nature of functional programming, the package's implementation closely follows mathematical definitions, making the code intuitive and transparent for users working with algebraic and combinatorial structures. To assist with current mathematical research, Arboretum$.$hs supports experimentation by facilitating the introduction of new algebraic operations, as well as providing functionality for rendering trees and forests through LaTeX integration. Compared to recent imperative implementations in languages such as Julia or Python, Arboretum$.$hs offers greater flexibility for manipulating and extending tree-based structures. Its use of Haskell enables safe programming and strong compile-time guarantees, serving both as a practical computational tool and a foundation for further research in algebraic combinatorics, beyond the setting of trees usually considered in the implementation of Butcher series, which are a fundamental tool for the analysis of numerical integrators.
The Quasisymmetric Grassmannian
We construct a complex of toric varieties we call the quasisymmetric Grassmannian inside the Grassmannian of $r$-planes in $\mathbb{C}^n$. Each irreducible component is a positroid variety and an $S_n$ translate of a toric Richardson variety of ribbon shape. We describe it as the vanishing locus of equations $Δ_AΔ_{A'}=0$ in Plücker coordinates determined by a new noncrossing combinatorial object we call the quasisymmetric Johnson graph. We give an affine paving, and show that its cohomology ring is a quasisymmetric modification of the Borel presentation of the Grassmannian's cohomology, with fundamental quasisymmetric polynomials playing the role of Schur polynomials.
On the Determinant of Kőnig-Egerváry Graphs
Several graph decompositions that factorize the determinant of the adjacency matrix isolate a Kőnig-Egerváry part, such as the SD--KE decomposition and the critical independence decomposition of Larson. This suggests that the study of graph unimodularity can be approached, to a large extent, through the structure of Kőnig-Egerváry graphs. In this paper we advance this point of view by introducing a new determinant factorization inside the class of Kőnig-Egerváry graphs. More precisely, given a Kőnig-Egerváry graph $G$, we consider the partition of $V(G)$ into its perfect-flower part $PF(G)$ and its perfect-flower-free part $PFF(G)$, and prove that
\[
\det(G)=\det(G[PF(G)])\det(G[PFF(G)]).
\]
We also obtain the analogous factorization for the permanent. This decomposition provides a new tool for the study of unimodularity, reducing the problem to two induced subgraphs of a very different nature: the graph $G[PF(G)]$, whose structure is closely related to Sterboul--Deming configurations with perfect matching, and the graph $G[PFF(G)]$, which is governed by the theory of critical independent sets. In this way, the paper gives a new structural framework for the study of unimodular graphs through Kőnig-Egerváry theory.
A SWAP-free Framework for QAOA
The performance of the Quantum Approximate Optimization Algorithm (QAOA) on noisy intermediate-scale quantum (NISQ) devices is strongly limited by sparse qubit connectivity. When interactions required by QAOA Hamiltonians are not aligned to the hardware topology, transpilation introduces SWAP gates, increasing circuit depth and noise. We propose a SWAP-free QAOA framework based on modifying the cost Hamiltonian so that it can be implemented natively on the hardware. We formulate this as a mixed-integer semidefinite program (MISDP) that selects a hardware-compatible approximation of the original cost matrix and optimizes the allocation of logical variables to physical qubits. We prove that the associated decision problem is NP-complete and derive theoretical guarantees relating the MISDP objective to the loss in the original optimization problem through the Lovász number of the hardware graph. Since solving MISDPs is practical only for small instances, we introduce heuristics based on spectral properties of the problem matrix and hardware graph. Our experiments on a cardinality-constrained quadratic optimization model for index tracking show competitive performance against a baseline representing ideal QAOA under SWAP-induced noise. These results indicate that, on sparse NISQ architectures, a hardware-aware approximation of the objective may be more effective than an exact but heavily transpiled Hamiltonian implementation.
A double-exponential lower bound for $r_4(5,n)$
The Ramsey number $r_k(s,n)$ is the smallest integer $N$ such that every $N$-vertex $k$-graph contains either a copy of $K_s^{(k)}$ or an independent set of size $n$. We prove that $r_4(5,n)\ge 2^{2^{cn^{1/7}}}$, where $c>0$ is an absolute constant. As a consequence, we determine the tower growth rate of $r_k(k+1,n)$, which completely solves the problem of establishing the tower growth rate for all classical off-diagonal hypergraph Ramsey numbers, first posed by Erdős and Hajnal in 1972.
An exponentially small gap of the Perron vector on independent sets
A classical result of Cioabă states that if $G$ is a connected graph with the unit Perron vector $\mathbf{x}$, then any independent set $S$ of $G$ satisfies $\sum_{v\in S} x_v^2 \le \frac{1}{2}$, with equality if and only if $G$ is a bipartite graph and $S$ is one of the partite sets. Let $χ(G)= k $ be the chromatic number of $G$. A well-known conjecture of Gregory asserts that any independent set $S$ of $G$ satisfies $\frac{1}{2} - \sum_{v\in S}x_v^2 = Ω((k/n)^{1/2})$. Recently, Liu and Ning [J. Combin. Theory Ser. B 176 (2026)] disproved Gregory's conjecture by constructing a graph $G$ and an independent set $S$ such that $\frac{1}{2}- \sum_{v\in S}x_v^2 = O(k^5/n^3)$. Furthermore, they conjectured that this bound is tight up to a constant factor. In this paper, we first show that any cycle $C_n$ with odd integer $n\ge 7$ provides a simple counterexample to Gregory's conjecture. Second, we establish that for any independent set $S$, we have $\frac{1}{2} - \sum_{v\in S}x_v^2 = \frac{q}{4λ-2q}$, where $λ$ is the spectral radius of $G$, and $q$ is the Rayleigh quotient of $\mathbf{x}$ restricted to $\bar{S} :=V(G)\setminus S$. Third, we construct a graph with arbitrarily large chromatic number and find an independent set $S$ such that $\sum_{v\in S}x_v^2$ can be arbitrarily close to $\frac{1}{2}$, with an exponentially small gap. Our construction shows that there is no universal lower bound of the form $Ω(k^α/n^β)$ for any $α, β>0$. This settles both Gregory's original conjecture and the modified conjecture of Liu and Ning in the negative. Finally, we show the tightness of our construction and provide some local weighted lower bounds.
The minimum number of detours in a connected graph of minimum degree three
A longest path in a graph is called a detour. Denote by $a(k,n)$ the minimum number of detours in a connected graph with minimum degree $k$ and order $n,$ and denote by $b(k,n)$ the minimum odd number of detours in such a graph. X. Zhan has posed the problem of determining $a(k,n)$ and $b(k,n).$ It is known that $a(2,n)=4$ for $n\ge 4$ and $b(2,n)=9$ for $n\ge 9.$ In this paper we prove that $a(3,n)=36$ for $n\ge 18,$ $a(k,n)\le (k!)^2$ for $n\ge k^2+2k+3$ and $b(3,n)\le 225$ for $n\ge 11.$ We also pose several related unsolved problems.
Permanental Energy of Graphs
For a simple graph $G$ with adjacency matrix $A(G)$, let $π(G,x):=\mathrm{per}(xI-A(G))$ be its permanental polynomial with roots $μ_1,\ldots,μ_n \in \mathbb{C}$, and define the permanental energy $E_{\mathrm{per}}(G):=\sum_{i=1}^n |μ_i|$. We prove a sharp universal lower bound: for every $m$-edge graph $G$, $E_{\mathrm{per}}(G) \ge 2\sqrt{m}$, with equality if and only if $G$ is a star together with isolated vertices. We also prove the general upper bound $E_{\mathrm{per}}(G) \le nρ(G)$, where $ρ(G)$ is the spectral radius, and we study $E_{\mathrm{per}}(G)$ on several graph families.
Conflict-free chromatic index of bipartite graphs
An edge coloring of a graph $G$ is called conflict-free if, for every edge, its closed neighborhood contains a color that appears exactly once. The least number of colors required for such a coloring is the conflict-free chromatic index of $G$, denoted by $χ'_{CF}(G)$. Kamyczura, Meszka, and Przybyło conjectured that $χ'_{CF}(G)\le 3$ for any bipartite graph $G$ without isolated vertices. In this paper, we confirm this conjecture.
On Chollet's Permanent Conjecture for Graph Laplacians
In 1982, Chollet conjectured that $\mathrm{per}(A\circ B)\le \mathrm{per}(A)\mathrm{per}(B)$ for Hermitian positive semidefinite matrices $A,B$, where $\circ$ denotes the Hadamard product, and observed that in the real symmetric case it suffices to prove $\mathrm{per}(A\circ A)\le \mathrm{per}(A)^2$. We prove $\mathrm{per}(A\circ A)\le \mathrm{per}(A)^2$ for symmetric $Z$-matrices with nonnegative diagonal whose support graph is bipartite. Motivated by this, we study the Laplacian inequality $\mathrm{per}(L_G\circ L_G)\le \mathrm{per}(L_G)^2$ for the graph Laplacian $L_G$. We introduce a compositional framework for permanental inequalities on graph Laplacians, showing that Chollet's inequality is preserved under vertex coalescence. This enables the extension of the inequality from basic graph classes to large structured families, revealing new tractable regimes for a fundamentally $\#P$-hard quantity.
On Detecting $H$-Induced Minors for Small $H$
We consider the $H$-Induced Minor problem: for a fixed graph~$H$, decide whether a given graph $G$ contains $H$ as an induced minor. While the problem is known to be NP-complete for some trees~$H$ on more than $2^{300}$ vertices, the complexity for small trees remains unresolved. In particular, the case where $H$ is the $7$-vertex tree consisting of a path on five vertices with a pendant vertex attached to the second and fourth vertex was a long-standing open problem. We show that this case is polynomial-time solvable by developing algorithms that detect a sequence of carefully chosen substructures. Complementing this, we prove that detecting some of these substructures individually is NP-hard. We also give polynomial-time algorithms for three cases where $H$ is a graph on five vertices (that is not a tree). In this way, we completed the classification of $H$-Induced Minor for graphs $H$ on five vertices and answered an open problem of Dallard, Dumas, Hilaire and Perez (2025).
On the complexity of edge subdivision to $H$-free graphs
Subdividing an edge $uv$ in a graph replaces it by a path $u w v$ with one new vertex. For a graph $H$, the \textsc{$H$-free Subdivision} problem asks whether, given a graph $G$ and an integer $k$, one can destroy all induced copies of $H$ in $G$ by at most $k$ edge subdivisions.
We show that the problem is polynomial-time solvable when every component of $H$ is a subdivided star or a subdivided bistar, and at most one component is a subdivided bistar. On the other hand, we prove that \textsc{$H$-free Subdivision} is NP-complete and, assuming the Exponential Time Hypothesis, admits no $2^{o(k)} n^{O(1)}$-time algorithm whenever $H$ satisfies any of the following conditions: \begin{itemize}
\item $H$ has minimum degree at least $2$, and the neighborhood of every degree-$2$ vertex induces a $K_2$;
\item the vertices of degree at least $3$ in $H$ induce a graph with at least two edges;
\item $H$ has a triangle with two vertices of degree at least $3$;
\item $H$ contains, as an induced subgraph, the graph obtained from two vertex-disjoint triangles by adding one edge between them;
\item $H$ contains exactly one triangle;
\item $H$ has girth at least $4$;
\item $H$ is a tree with exactly two vertices of degree at least $3$ at distance $2$ or at least $4$. \end{itemize} A simple bounded search-tree algorithm for the problem runs in $2^{O(k)} n^{O(1)}$ time. Thus, for all hardness cases above, this running time is essentially optimal under ETH.
Perfect matchings and $A_α$-spectral radius in 1-binding graphs
Let $G$ be a graph with vertex set $V(G)$ and edge set $E(G)$. For $α\in[0,1)$, we use $A_α(G)$ and $ρ_α(G)$ to denote the $A_α$-matrix and the $A_α$-spectral radius of $G$, respectively. The binding number $\mbox{bind}(G)$ of $G$ is defined by $\mbox{bind}(G)=\min\left\{\frac{|N_G(X)|}{|X|}:\emptyset\neq X\subseteq V(G),N_G(X)\neq V(G)\right\}$. If $\mbox{bind}(G)\geq1$, then $G$ is called 1-binding. A perfect matching in $G$ is a set of nonadjacent edges covering every vertex of $G$. Tutte proved that a graph $G$ of even order has a perfect matching if and only if $o(G-S)\leq|S|$ holds for every $S\subseteq V(G)$ [W. Tutte, The factorization of linear graphs, J. Lond. Math. Soc. 22 (1947) 107--111]. In this paper, we use Tutte's result to prove that a connected 1-binding graph $G$ of even order $n$ with $n\geq n(α)$ has a perfect matching unless $G=K_1\vee(K_{n-5}\cup K_3\cup K_1)$ if $ρ_α(G)\geqρ_α(K_1\vee(K_{n-5}\cup K_3\cup K_1))$, where $n(α)$ is defined as follows: $n(α)=\max\{18,\frac{2+8α}{1-2α}\}$ if $α\in[0,\frac{1}{2})$, and $n(α)=18$ if $α=\frac{1}{2}$.
Identification to Subclasses of Chordal Graphs
An identification of two vertices $u$ and $v$ in a graph replaces them with a new vertex whose neighborhood is the union of the neighborhoods of $u$ and $v$. We study the {\sc ${\cal H}$-Identification} problem, which is to decide whether a given graph $G$ can be transformed (``identified'') to a graph in ${\cal H}$ by applying at most $k$ vertex identifications. We determine the classical and parameterized complexity of this problem for various subclasses ${\cal H}$ of chordal graphs, obtaining an almost complete picture for two parameters: $k$ and $n-k$. We also consider the {\sc Identification} problem, which is to test for two given graphs $G$ and $H$ if $G$ can be identified to $H$. We determine the parameterized complexity of this problem when $H$ is a graph from one of our testbed classes, taking the number of simplicial vertices of $H$ as the parameter.
Separation profiles of free products
We deduce from a theorem of Dvorak--Norin that the separation and treewidth profiles of graphs are asymptotically equivalent, resolving a question of Huang--Hume--Kelly--Lam. As an application, we calculate the separation profiles of Cayley graphs of tree-graded graphs in terms of their pieces. Examples of tree-graded graphs include Cayley graphs of free products of finitely generated groups.
Prime Square Order Cayley Graph of Cyclic Groups of Particular Valency
As a vital link between group theory and graph theory, Cayley graphs provide a geometric framework for encoding algebraic structures. This study explores the properties of Cayley graphs derived from cyclic groups whose order is the square of the product of three distinct prime numbers. We specifically examine cases where the connecting set is defined by the collection of all elements with an order equal to the square of a prime. A comprehensive analysis of these graphs is presented, focusing on structural characteristics such as connectivity, Eulerian properties, and Hamiltonicity. Furthermore, we determine several key graph parameters, including the clique number, chromatic number, independence number, and diameter.
Pair-Trace Absorption Certificates for Regular Induced Subgraphs
We study a fixed-core absorption problem for regular induced subgraphs. A set is q-modular if all induced degrees are congruent modulo q. Given a q-modular witness A and a retained core U subset A, we ask when deleting equal-trace q-tuples from A\U can make U into a 2q-modular witness. The main contribution is a finite absorption-or-obstruction certificate. We give an exact quotient formula for the deletion-tail obstruction in complement-orbit coordinates: the correct expression uses oriented differences n_B - n_{U\B}, not sums. Equal-trace q-tuples absorb exactly the span of their trace classes in F_2^U / 1_U. In particular, a connected graph of q-heavy two-point traces on U, together with one odd trace when |U| is even, absorbs every top-bit defect by deleting at most q(|U|-1) tail vertices. If fixed-core absorption fails, the obstruction is an explicit even parity cut of U. We also record the parity base, the terminal modular criterion, and a conditional modular-witness threshold theorem explaining the relevance to the Erdos-Fajtlowicz-Staton problem. The paper does not claim to solve that problem or to improve the general lower bound for F(n).
Towards a conjecture on degree conditions for Ramsey goodness of paths
Recently, Aragão, Marciano, and Mendonça [\emph{European J. Combin.}, 2025] conjectured that for any graph $G$ on $n$ vertices satisfying $(r-1)(t-1)k < n \le (r-1)(t-1)(k+1)$, the minimum degree condition $δ(G) \ge n - \left\lceil \frac{k}{k+1} \left\lceil \frac{n}{r-1} \right\rceil \right\rceil$ guarantees that $G \rightarrow (K_r, P_t)$. In this paper, we prove their conjecture for the regime $k \ge t-3$. Because the parameter $k$ scales linearly with the host graph order $n$, our result establishes the asymptotic truth of the conjecture.
A Linear-Time Algorithm for Finding an Odd Cycle Through Two Specified Vertices
We present a deterministic linear-time algorithm for finding an odd cycle through two specified vertices in an undirected graph. This is shown in a generalized form as follows: Let $Γ$ be any group in which every element is of order at most $2$. For a given $Γ$-labeled graph with two specified vertices (or edges), we can determine in linear time whether there exist two cycles with distinct labels that are through both of the two specified vertices (or edges), and find such cycles if yes.