graph
35150 papers tagged with this keyword
On the independence number of de Bruijn graphs
We derive the asymptotic formula $α(k,q)=λ_{k-1}q^k+o(q^k)$, where $α(k,q)$ is the independence number of the de Bruijn graph $B(k,q)$, and $λ_{k-1}$ is a constant arising from a variational problem on the unit $(k-1)$-dimensional cube. When $k=4$, we show the bounds $91/240\le λ_3\le 11/28$. For odd prime $k$, we analyse the binary case $q=2$ via a phase reduction on rotation orbits. For $k=11$ and $k=13$ this yields certified optimal constructions, which combined with a lifting theorem by Lichiardopol give exact formulas for $α(11,q)$ and $α(13,q)$ for all $q\ge2$, extending the known cases $k=3,5,7$.
Unbalanced signed bipartite graphs containing no negative $C_4$ with maximum spectral radius
A signed graph $(G,σ)$ is a graph $G$ together with an assignment $σ$ of either a positive sign or a negative sign to each edge. A signed graph is unbalanced if it contains a cycle with odd number of negative edges. The spectral radius of a signed graph is the spectral radius of its adjacency matrix, in which for vertices $u,v$, the $(u,v)$-entry is $0$, $-1$, or $1$ depending on whether $uv$ represents no edge, a negative edge, or a positive edge, respectively. Recently, Conde, Dratman and Grippo [Discrete Math. 349 (2026) 114942] proved that there is only one unbalanced signed bipartite graph with maximum spectral radius, up to switching isomorphism. In this paper, we establish a spectral Turán type results for signed bipartite graphs. More precisely, we determine the unique graphs containing no negative cycles of length four with maximum spectral radius, up to switching isomorphism, among unbalanced signed bipartite graphs with fixed bipartite sizes and order, respectively.
Locally Equienergetic Graphs
Published in MATCH Commun Math Comput Chem 93 (2025) 759-766
• View Publication
• BIB
For a given graph \( G \), let \( G^{(j)} \) denote the graph obtained by the deletion of vertex \( v_j \) from \( G \). The difference \( \mathscr{E}(G) - \mathscr{E}(G^{(j)}) \) quantifies the change in the energy of \( G \) upon the removal of \( v_j \), termed as the local energy of \( G \) at vertex $v_j$, as defined by Espinal and Rada in 2024. The local energy of $G$ at vertex $v$ is denoted by \(\mathscr{E}_G(v)\). The local energy of the graph \( G \), therefore, is the summation of these vertex-specific local energies across all vertices in \( V(G) \), expressed by \( e(G) = \sum \mathscr{E}_G(v) \). Two graphs of the same order are defined as locally equienergetic if they have identical local energy. In this paper, we have investigated several pairs of locally equienergetic graphs.
Tight spectral conditions for the Hamiltonicity of $K_{1,r}$-free split graphs
The Hamiltonicity and related subjects of split graphs, and in particular $K_{1,r}$-free split graphs with $r\ge 3$ received much attention. Dai et al. [Discrete Math. 345 (2022) 112826] conjectured that every $(r-1)$-connected $K_{1,r}$-free split graph is Hamiltonian. They proved the case when $r=4$, and earlier Renjith and Sadagopan [Int. J. Found. Comput. Sci. 33 (2022) 1--32] proved the case when $r=3$. Recently, Liu, Song, Zhang and Lai [Discrete Math. 346 (2023) 113402] proved that a split graph is Hamiltonian if and only if it is fully cycle extendable. So for $r=3,4$ every $(r-1)$-connected $K_{1,r}$-free split graph is fully cycle extendable. We give tight spectral sufficient conditions for a $K_{1,r}$-free split graph to be Hamiltonian for $r=3,4$.
Graphs at infinity: Liouville theorems, Recurrence and Characterization of Dirichlet forms
We survey recent results on graphs and their Laplacians related to the behavior of the graph at large. In particular, we focus on Liouville theorems, recurrence and characterizations of Dirichlet forms via boundary terms.
Spectral Effects Of Heavy-Tailed Vertex Noise In Geometric Graphs
We characterize which local matrix structures saturate Weyl's eigenvalue perturbation bound for graph Laplacians under geometrically constrained vertex displacements. Geometric graphs with heavy-tailed vertex noise arise across sensor networks, biological imaging, and spatial omics, yet tractable predictions for noise-induced spectral error remain limited. We study geometric graphs abstracted from biophysical systems, incorporating clearance, planarity, and identifiability constraints that govern physically realizable embeddings. Within this constrained setting, we identify witness motifs, small subgraphs in maximally noise-sensitive geometric configurations, that dominate weighted-degree and graph Laplacian spectral perturbations under tempered power-law vertex displacements. This motif decomposition reduces global spectral sensitivity to a finite catalog of local extremal structures and identifies configurations that attain Weyl-tight bounds. We then lift these constrained-graph results to general straight-line embedded graphs in arbitrary dimension via local repair operations producing a constrained surrogate graph that preserves sensitivity-relevant structure. To quantify noise-induced spectral variation in both strong-oracle and weak-oracle regimes, we introduce stochastic co-spectrality (SC) and the stochastic spectral separation index (S3I), which characterize when observed spectral distances are noise-driven and when noise parameters are separable. Together, these results provide a principled pathway from local geometric noise to global spectral error in graph Laplacian matrices, enabling estimation of spectral fragility from graph structure without exhaustive eigenvalue computation or restrictive distributional assumptions beyond moment bounds.
The 1-2-3 conjecture for polygonal tilings
The 1-2-3 conjecture has been solved positively in 2024 for finite graphs and by extension for infinite graphs which are locally finite. The solution is non-constructive, and finding explicit solutions for large (or infinite) graphs is very hard. By exploiting the extra structure present in many non-periodic tilings, we find explicit solutions for the Chair (all three vertex placements), Non-Pinwheel, Pinwheel, Half-hex, Ammann-Beenker (two versions), Penrose Rhomb, and the Domino tilings. We prove that for any fully periodic tiling of the plane there exists a fully periodic solution, and provide an algorithm for finding such a solution. We give solutions for the fully periodic square, triangle and hexagonal lattices.
Learning Cut Distributions with Quantum Optimization
Many combinatorial optimization problems admit a maximin fairness variant, where the aim is to find a distribution over possible solutions which maximizes an expected worst-case outcome. However, the support for an optimal distribution may be exponential, which can be intractable to represent in the worst case. To this end, we propose a quantum based approach to solving distribution optimization problems. Expanding on work analyzing the Dynamical Lie Algebras of the Quantum Approximate Optimization Algorithm (QAOA), we show that with a finite number of layers, a QAOA ansatz can be constructed to capture any distribution over bitstrings. We show that the resulting circuit is able to effectively solve the Fair Cut Cover, a fair interpretation of the classical Fractional Cut Cover Problem. In addition, we show that our algorithm is provably better than classical approximations on certain graph structures and empirically outperforms these classical algorithms on tested instances.
Infinite graphs with finite metric dimension
We study the metric dimension (strong and weak) of infinite graphs. In particular, our main interest is characterizing infinite graphs with finite dimension. Our main results: (1) graphs with more than one end have infinite strong dimension; (2) for graphs with a finite number of cycles, the weak dimension is finite if and only if the graph has finitely many vertices of degree three, and the strong dimension is finite if and only if the graph has one end and finitely many vertices of degree three.
Transfer Operators and Independence Polynomials for Strong Powers of Circulant Graphs
We study independent sets in strong powers of circulant graphs using a transfer matrix formulation. The compatibility constraints separate into intra-layer and inter-layer components, yielding a transfer operator that is equivariant under the dihedral group action. The characteristic polynomial of the transfer operator factors into an \emph{anomalous} component (arising from the trivial isotypic component, with rational coefficients) and a \emph{cyclotomic} component (arising from nontrivial Fourier modes, splitting over the maximal real cyclotomic subfield). We show that the spectral radius is attained in the trivial isotypic component, so the dominant exponential growth is governed by a low-dimensional orbit-compressed operator. The independence polynomial is computed exactly for strong cylinders and tori, with the cyclotomic sector contributing a sparse correction confined to high-weight coefficients. All results are verified for $C_7$.
Vertex-minor Ramsey numbers: exact values and extremal structure
We determine the vertex-minor Ramsey number $\Rvm(4)=11$, where $\Rvm(k)$ is the smallest~$n$ such that every $n$-vertex graph contains the edgeless graph~$E_k$ as a vertex-minor. We prove this by an exhaustive classification of the graphs on~$10$ and~$11$ vertices under local complementation. At the extremal order $n=10$, exactly six non-isomorphic graphs avoid~$E_4$ as a vertex-minor; up to isomorphism, they represent five LC-equivalence classes, and each labeled LC orbit has cardinality~$8{,}712$. Thus $k=4$ is the first case in which the general upper bound $2^k-1$ is not attained. Using the extremal graphs as building blocks, we derive explicit lower bounds on~$\Rvm(k)$ that surpass the leading term of the asymptotic bound for all $k\leq 9$; in particular, $\Rvm(5)\geq 13$. We also describe structural properties of the six extremal graphs and formulate the next open problem, whether $\Rvm(5)=15$.
Quantum Query Complexity of the Hyperoctahedral Group
We determine the quantum query complexity of oracle identification on the hyperoctahedral group $B_N = \{\pm 1\}^N \rtimes S_N$ with respect to the natural representation: $Q_{LV}(B_N) = 2(N-1)$ for all $N \ge 2$. This is twice the symmetric-group value $Q_{LV}(S_N) = N-1$; the doubling arises from an $\varepsilon$-parity obstruction that restricts the bottleneck representation $\operatorname{sgn}(σ)$ to even tensor powers. The proof combines a reduction to $S_N$ Kronecker products via Rademacher moment polynomials with the bipartition distance formula $d_T(((N),\varnothing),(α,β)) = 2(N-α_1)-|β|$ in the tensor product graph. A closed-form generating function yields the first-appearance multiplicity $(2N-3)!!$. We also show $Q_{\mathrm{decomp}}(\varphi) \le 2\,Q_{\mathrm{signed}}(\varphi)$, with equality on $B_2$, and conjecture a link between the adversary bound and the graph eccentricity.
Equitable tree colouring of graphs
Let $k \in \mathbb{N}$ and let $G$ be a simple graph with maximum degree $Δ$. A $k$-colouring $\varphi$ of $G$ is an assignment of colours from $\{1,2,\ldots,k\}$ to the vertices of $G$. We call $\varphi$ proper if adjacent vertices receive distinct colours, and equitable if the sizes of any two colour classes differ by at most one. The celebrated Hajnal--Szemerédi theorem states that a proper equitable $k$-colouring exists whenever $k \ge Δ+ 1$.
In this paper, we study its tree colouring variant in which each colour class induces a forest. This is closely related to the vertex arboricity which was introduced by Chartrand, Kronk, and Wall. More precisely, we prove that if $n \ge 3Δ^4$ and $k \ge (Δ+2)/2$, then every $n$-vertex graph with maximum degree at most $Δ$ contains an equitable tree $k$-colouring. This confirms a conjecture of Wu, Zhang, and Li when $Δ$ is even and up to an additive constant of $1$ otherwise for large $n$. We also consider $d$-degenerate colouring in which each colour class induces a $d$-degenerate graph.
A local spectral condition for perfect matchings in 3-graphs
Let $γ$ be a constant such that $0 < γ< 1$, and let $n$ be a sufficiently large integer. Consider a $3$-uniform hypergraph $H$ on $n$ vertices. In 2013, Kühn, Osthus, and Treglown, along with Khan independently, proved that for large enough $n$ with $n\equiv 0\pmod{3}$, if $δ_1(H)\geq\binom{2n/3}{2}$, then $H$ admits a perfect matching. For any vertex $v\in V(H)$, we define $N_H(v)$ as the $2$-graph with vertex set $V(H)\setminus\{v\}$ and edge set $E(N_H(v)) = \{e\subseteq V(H)\setminus\{v\}: e\cup \{v\}\in E(H)\}$. In this paper, we show that if $ρ(N_H(v)) > (2/3+γ)n$ for all $v\in V(H)$, where $ρ(N_H(v))$ denotes the spectral radius of $N_H(v)$, then $H$ has a perfect matching. This bound is asymptotically tight. Furthermore, for integer $s$ satisfying $n\geq 3s+3$, we establish that if \[ ρ(N_H(v))>\frac{1}{2}(s-1+\sqrt{(s-1)^2+4s(n-s-1)})\] holds for every $v\in V(H),$
then $H$ admits a fractional matching of size $s+1$. Notably, this second spectral bound is tight.
New bounds for Ramsey numbers involving graphs with a center
Let $F_n$, $W_n$, and $\widehat{K}_n$ be the graphs obtained by joining a vertex to $n$ independent edges, a cycle and a path of order $n-1$, respectively. In this paper, we give new bounds for the Ramsey numbers $R(F_n,F_m)$ and $R(W_n,W_n)$, which improve those due to Chen, Yu, and Zhao [EJC, 2021] and Mao, Wang, Magnant, and Schiermeyer [G&C, 2022], respectively, and establish lower and upper bounds for $R(\widehat{K}_n,\widehat{K}_n)$. Moreover, we present a blow-up technique to establish some new lower bounds for the Ramsey numbers of wheels versus cliques.
Some remarks on the orbit dimension of transitive groups and on the metric dimension of Johnson graphs
The orbit dimension $σ(G)$ (also called the separation number or rigidity index) of a permutation group $G$ with domain $Ω$ is the minimum cardinality of a subset $S \subseteq Ω$ such that, for any two distinct elements $ω,ω'\in Ω$, there exists $α\in S$ for which $ω$ and $ω'$ lie in distinct orbits of the stabilizer $G_α$.
In this paper, we first observe that if $G$ is transitive, then $σ(G)\le |Ω|-r+1$, where $r$ is the rank of $G$, and we obtain strong structural information on the groups for which equality holds.
Next, we investigate the orbit dimension in the case where $G$ is the symmetric group of degree $n$, acting on the set of $k$-subsets of $\{1,\ldots,n\}$. In this case, this invariant equals the metric dimension of Johnson graphs.
Coloring powers of random graphs
Given a graph $G$ and an integer $r\ge 1$, the $r$th power $G^r$ of $G$ is the graph obtained from $G$ by adding edges for all pairs of distinct vertices at distance at most $r$ from each other. We focus on two basic structural properties of the $r$th power of the binomial random graph $G_{n,p}$, namely, the maximum degree $Δ(G_{n,p}^r)$ and the chromatic number $χ(G_{n,p}^r)$, and give with high probability (w.h.p.) bounds.
In the sparse case that $p=d/n$ for some fixed constant $d>0$, we prove the following. We prove that w.h.p.~$Δ(G_{n,p}^r) \sim \frac{\log n}{\log_{(r+1)}n}$ (where $\log_{(1)}n=\log n$ and $\log_{(r+1)}n=\log\log_{(r)}n$) and that w.h.p.~$Δ(G_{n,p}^{\lfloor{r/2}\rfloor})+1 \le χ(G_{n,p}^r) \le Δ(G_{n,p}^{r-1})+1$. For $r=2$, we show the upper bound holds with equality.
For denser cases, for $d$ satisfying $d=ω(\log n)$ and $d\le n^{1/r-Ω(1)}$ as $n\to\infty$, we have $χ(G_{n,p}^r) = Θ(d^r/\log d)$ w.h.p.
Fractional Strict Degeneracy of Graphs
DP-coloring (also called correspondence coloring) is a generalization of list coloring introduced by Dvořák and Postle in 2015. The DP-chromatic number of a graph $G$, $χ_{_{DP}}(G)$, is the analogue of the chromatic number of $G$ in the DP context and is bounded above by the degeneracy of $G$ plus one. Over the last two years a plethora of authors have introduced variations on the notion of degeneracy and used these new ideas to give improved bounds on the DP-chromatic number of certain families of graphs.
Fractional DP-coloring is a generalization of fractional list coloring introduced by Bernshteyn, Kostochka, and Zhu in 2019. In this paper we introduce two analogues of the degeneracy of a graph to the fractional context, each of which bound its fractional DP-chromatic number from above. We use these analogues to bound the fractional DP-chromatic number of a variety of graphs including unicyclic graphs, some complete bipartite graphs, and sparse graphs.
On derivatives and higher-order derivatives of chromatic polynomials
Let \( G \) be a graph of order \( n \) with maximum degree $Δ$, and let $P(G,x)$ denote its chromatic polynomial. We investigate several properties of $P(G,x)$ related to its derivatives and higher-order derivatives. First, we study the monotonicity of $P(G,x)/x^n$. Dong proved that $(x-1)^nP(G,x)\geq x^nP(G,x-1)$ for all real $x\geq n$. In particular, taking $x=n$ establishes the Bartels-Welsh ``shameful conjecture" that $P(G,n)/P(G,n-1)>e$. Fadnavis later showed that the same inequality holds for all real $x\geq 36Δ^{\frac{3}{2}}$. We improve this bound by proving that it already holds for all real $x\geq 10Δ^{\frac{3}{2}}$. We then consider a conjecture of Dong, Ge, Gong, Ning, Ouyang, and Tay asserting that \( \frac{d^k}{dx^k} \bigl( \ln[(-1)^n P(G, x)] \bigr) < 0 \) for all \( k \geq 2 \) and \( x \in (-\infty, 0) \). We establish this conjecture for all \( k \geq 2 \) and \( x\leq -2.99Δk \).
Turán-Theoretic Bounds on Several Elementary Trapping Sets in LDPC Codes
LDPC codes have attracted significant attention because of their superior performance close to the Shannon limit. Elementary trapping sets are the main cause of the error floor phenomenon in LDPC codes. We consider typical graphs related to trapping sets, including theta graphs, dumbbell graphs, and short cycles with chords. Based on the Turán numbers of $θ(2,2,2)$, $θ(1,3,3)$ and $D(4,4;0)$, we prove that any $(a,b)$-ETS with $g=8$ variable-regular $γ$ satisfies the inequality $b\geq aγ-\frac{a(\sqrt{24a-23}-1)}{4}$, provided that any two 8-cycles in the Tanner graph do not share common variable node. In addition, we can also eliminate ETSs by removing certain short-cycle structures with chords. The minimum sizes of ETSs obtained through these methods are significantly increased. To assess practical impact , we analyze spectral radii of the ETSs and construct QC-LDPC codes to show frame error rates in the error floor region.