graph
35150 papers tagged with this keyword
Lattice points arising from regularity and $\mathrm{v}$-number of Graphs: Whisker and Cameron-Walker
Let $G$ be a simple graph on $n$ vertices and $I(G)\subseteq R$ be its edge ideal. In this paper, we initiate the study of determining lattice points in $\mathbb{N}^2$ that appear as a pair $(\mathrm{reg}(R/I(G)), \mathrm{v}(I(G)))$, where $G$ ranges over all connected graphs on $n$ vertices, and we denote this set by $\mathcal{RV}(n)$. Here `$\mathrm{reg}$' denotes the (Castelnuovo-Mumford) regularity and `$\mathrm{v}$' denotes the $\mathrm{v}$-number. We establish general bounds for $\mathcal{RV}(n)$ by identifying two sets $A(n)$ and $B(n)$ satisfying $A(n)\subseteq \mathcal{RV}(n)\subseteq B(n)$. Furthermore, we explicitly determine the subsets of $\mathcal{RV}(n)$ consisting of all possible pairs $(\mathrm{reg}(R/I(G)), \mathrm{v}(I(G)))$ arising from whisker graphs and Cameron-Walker graphs on $n$ vertices. Finally, we propose a conjecture on the subset of $\mathcal{RV}(n)$ arising from connected chordal graphs.
Hat guessing with proper colorings
We initiate the study of the hat guessing number of a graph where the adversary is only allowed to provide a proper coloring of the graph. This is the largest number $q$ for which there is a guessing strategy on each vertex that only depends on its neighborhood, such that for every proper coloring of the graph with $q$ colors at least one vertex guesses its color correctly. In this variation, we prove that the hat guessing number of the complete graphs on $n$ vertices is $2n - 1$, which is roughly twice the classical hat guessing number of the complete graph. Our winning strategy is related to finding perfect matchings between the middle layers of the boolean poset of dimension $2n - 1$. We prove that the hat guessing number of all trees on $n \geq 3$ vertices is equal to $4$. We derive some general upper and lower bounds for all graphs and give improved estimates for book graphs. Using our results and an ILP formulation of the problem, we determine the exact hat guessing number for all graphs on at most $4$ vertices, give bounds on graphs on $5$ vertices, and propose general conjectures.
Geodesic-transitive graphs with large diameter
We review the nearly complete classification project for finite distance-transitive graphs and compile a list of all known graphs. Interestingly, we find that those graphs with diameter larger than 4, apart from a small finite number of exceptions, are geodesic-transitive. Their geodesics exhibit a clear (often geometric) structure. On the other hand, we provide examples of graphs that are distance-transitive but not geodesic-transitive, including two infinite families with diameter 3 and a few sporadic ones with diameter 3, 4 or 7. In the last section, we extend our investigation to polar Grassmann graphs and provide an explicit description of their geodesics.
Quadratic form estimations for Hessian matrices of resistance distance and Kirchhoff index of positive-weighted graphs
Let $G^{w}=(V,E,w)$ be a positive-weighted graph with the weight $w(e)>0$ for all $e\in E$. The weighted graph $G^{\widetilde{w}}=(V,E,\widetilde{w})$ is called a hyper-dual number weighted graph, where the weight $\widetilde{w}(e)=w(e)+Δw(e)(\varepsilon+\varepsilon^{*})$ is a hyper dual number, $Δw(e)$ is a real number, $\varepsilon$ and $\varepsilon^{*}$ are two dual units, $e\in E$. In this paper, we give a representation for the Moore-Penrose inverse of the Laplacian matrix, and calculation formulas for the resistance distance and Kirchhoff index of $G^{\widetilde{w}}$, respectively. We establish quadratic forms of the Hessian matrices for the resistance distance and Kirchhoff index of $G^{w}$ via generalized matrix inverses. We further derive explicit bounds on the eigenvalues of the Hessian matrices for the resistance distance and the Kirchhoff index of $G^{w}$ in terms of graph parameters. We also prove that the Kirchhoff index of a positive-weighted graph with bounded edge weights is strongly convex on its edge weight vector.
Minimal toughness in subclasses of weakly chordal graphs
The toughness of a graph $G$ is defined as the largest real number $t$ such that for any set $S\subseteq V(G)$ such that $G-S$ is disconnected, $S$ has at least $t$ times more elements than $G-S$ has components (unless $G$ is complete, in which case the toughness is defined to be infinite). A graph is said to be minimally tough if deleting any edge decreases the toughness. It is an open question whether there exists a minimally tough non-complete chordal graph with toughness exceeding $1$. We initiate the study of minimally tough graphs in the larger class of weakly chordal graphs. We obtain complete classifications of minimally tough graphs in the following subclasses of weakly chordal graphs: co-chordal graphs whose complement has diameter at least $3$, net-free co-chordal graphs, complements of forests, $P_4$-free graphs, and complete multipartite graphs. Our approach leads to simple proofs of two results on minimally tough graphs due to Dallard, Fernández, Katona, Milanič, and Varga.
What induces plane structures in complete graph drawings?
This paper considers the task of connecting points on a piece of paper by drawing a curve between each pair of them. Under mild assumptions, we prove that many pairwise disjoint curves are unavoidable if either of the following rules is obeyed: any two adjacent curves do not cross, or any two non-adjacent curves cross at most once. Here, two curves are called adjacent if they share an endpoint. On the other hand, we demonstrate how to draw all curves such that any two adjacent curves cross exactly once, any two non-adjacent curves cross at least once and at most twice, and thus no two curves are disjoint. Furthermore, we analyze the emergence of disjoint curves without these mild assumptions, and characterize the plane structures in complete graph drawings guaranteed by each of the rules above.
Gauge-string duality, monomial bases and graph determinants
Questions at the intersection of the AdS/CFT correspondence and quantum information theory motivate the study of projectors in sequences of subalgebras of finite-dimensional commutative associative semisimple algebras $\mathcal{A}$, obtained by incrementally adjoining one generator at each step to produce a non-linear generating set for $\mathcal{A}$. We define degeneracy graphs, which are finite layered tree graphs whose nodes represent projectors in the successive subalgebras. Using combinatorial properties of the degeneracy graph, we give a simple formula for constructing a linear basis of $\mathcal{A}$ in terms of monomials in the generators. The nodes can be labelled by formal variables corresponding to the eigenvalues of the generators added at each layer. We prove that the construction is compatible with the required counting of projectors in $\mathcal{A}$, and give explicit constructions of the projectors in terms of the monomials, in the cases of one- and two-layer degeneracy graphs with arbitrary numbers of nodes. More generally, we provide extensive computational evidence for the invertibility of the matrix relating the proposed monomial basis to the projector basis, by evaluating its determinant. In the 1-layer case, this is a Vandermonde determinant. A simple formula for the non-vanishing determinant in the general layer case is conjectured and supported by the computational data. The construction is illustrated with examples including centres of symmetric group algebras and maximally commuting subalgebras generated by JucysMurphy elements. We outline applications of the monomial basis to algorithms for constructing matrix units in non-commutative semisimple algebras, with relevance to orthogonal bases of multi-matrix gauge-invariant operators and to quantum information theory.
Hitting time for Hamilton cycles in pseudorandom graphs
Consider the random subgraph process on a base graph $G$ with $n$ vertices: we generate a sequence $\{G_t\}_{t=0}^{|E(G)|}$ by taking a uniformly random ordering of the edges of $G$ and then adding these edges one by one to the empty graph $G_0$ on the same vertex set. We prove that there is a constant $C > 0$ such that if $G$ is an $(n,d,λ)$-graph with $d/λ\ge C$, then with high probability, the hitting time for the appearance of a Hamilton cycle coincides with the hitting time for reaching minimum degree $2$. This resolves questions posed by Alon--Krivelevich in 2019 and by Frieze--Krivelevich in 2002. As a consequence, we determine the sharp threshold for Hamilton cycles in $(n,d,λ)$-graphs with $d/λ\ge C$ for all $d$ sufficiently large. Lastly, we extend our result to the minimum degree $2k$ versus $k$ edge-disjoint Hamilton cycles setting for $k \leq c\cdot \min\{d,\log n\}$ where $c$ is a constant depending on $C$. This advances on a question asked by Frieze.
Homological methods in rigidity theory using graphs of groups
In recent work, Stokes and Vermant considered graph-of-groups realisations of hypergraphs as a new description of rigidity-theoretic problems. In this paper, we show that the infinitesimal aspects of graph-of-groups realisations can be analysed using cellular sheaves and their cohomology. Using these tools, we give an algebraic condition for Henneberg moves to preserve independence, and we prove that the infinitesimal rigidity and flexibility of certain graph-of-groups realisations are generic properties. We use these results to show that whenever a rigidity-theoretic problem is defined in a real algebraic group $G$ using a $1$-dimensional connected subgroup $H$ with $N_{G}(H)/H$ finite, then the so-called Maxwell-count leads to a necessary and sufficient condition for minimal rigidity, generalising various known results in the literature.
Thresholds for colouring the random Borsuk graph
We consider the chromatic number of the random Borsuk graph. The random Borsuk graph is obtained by sampling $n$ points i.i.d. uniformly at random on the $d$-dimensional sphere $S^d$, and joining a pair of points by an edge whenever their geodesic distance is $>π-α$ where the parameter $α=α(n)$ may depend on $n$. Kahle and Martinez-Figueroa have shown that the switch from being $(d+1)$-colourable to needing $\geq d+2$ colours occurs in the regime where the average degree is of logarithmic order. We show that for each $2\leq k\leq d$, the switch from being $k$-colourable to needing $> k$ colours occurs in the regime when the average degree is constant. What is more, we show that for $k=2$ there is a sharp threshold of the form $α(n) = c \cdot n^{-1/d}$, where the constant $c$ can be expressed in terms of the critical intensity for continuum AB percolation on $\mathbb{R}^d$. For $k=3,\dots,d+1$ we show that there is a sharp threshold for "almost all $n$".
Chromatic thresholds for linear equations and recurrence
Motivated by classical problems in extremal graph theory, we study a chromatic analogue of Roth-type questions for linear equations over $\mathbb F_p$. Given a homogeneous equation $\mathcal L:\sum_{i=1}^k c_i x_i=0$ with $k\ge 3$, we study $\mathcal L$-solution-free sets $A\subseteq \mathbb F_p$ through the chromatic number of the Cayley graph $\mathsf{Cay}(\mathbb F_p,A)$. We introduce the \emph{chromatic threshold} $δ_χ(\mathcal L)$, the minimum density that guarantees bounded chromatic number of $\mathsf{Cay}(\mathbb F_p,A)$ among all $\mathcal L$-solution-free sets $A$, and determine exactly when $δ_χ(\mathcal L)=0$. We prove that $δ_χ(\mathcal L)=0$ if and only if $\mathcal L$ contains a zero-sum subcollection of at least three coefficients.
A key ingredient is a quantitative chromatic lower bound for Cayley graphs on $\mathbb Z_p^n$ generated by Hamming balls around the all-ones vector. This is obtained by introducing a new Kneser-type graph that admits a natural embedding into $\mathbb Z_p^n$, together with an equivariant Borsuk--Ulam type argument. As a consequence, we resolve a question of Griesmer. We further relate our classification to the hierarchy of measurable, topological, and Bohr recurrence. In particular, we show that every infinite discrete abelian group admits a set that is topological recurrent but not measurable recurrent, extending the seminal examples of Kříž and Ruzsa.
Algebraic Invariants of Edge Ideals Under Suspension
The central question of this paper is: how do algebraic invariants of edge ideals change under natural graph operations? We study this question through the lens of suspensions. The (full) suspension of a graph is obtained by adjoining a new vertex adjacent to every vertex of the original graph; this construction is well-understood in the literature. Motivated by the fact that regularity is preserved under full suspension while projective dimension becomes maximal, we refine the construction to selective suspensions, where the new vertex is joined only to a prescribed subset of vertices. We focus on two extremal choices: minimal vertex covers and maximal independent sets. For suspensions over minimal vertex covers of an arbitrary graph, regularity is preserved and projective dimension increases by one. Moreover, the independence polynomial changes in a controlled way, allowing us to track $\mathfrak a$-invariants under cover suspension. In contrast, the analogous uniform behavior fails in general for suspensions over maximal independent sets. We therefore analyze paths and cycles and give a complete description: projective dimension always increases by one, and regularity and the $\mathfrak a$-invariant are preserved except for a unique extremal family of paths, where both invariants increase by one.
Graph labellings and external difference families
Digraph-defined external difference families were recently introduced as a natural generalization of several well-studied combinatorial objects motivated by cryptography (e.g. external difference families (EDFs) and circular external difference families (CEDFs)). In this paper, we develop a systematic framework for using various types of vertex-labellings for graphs and digraphs to create digraph-defined external difference families. The approach is to combine suitable vertex-labellings (generalizations of $α$-valuations, namely near $α$-valuations and oriented near $α$-valuations) with a graph blow-up technique. Many new families are produced, including the first explicit construction for an infinite family of $2$-CEDFs, achieving all parameter sets for $(n,m,l;1)$-$2$-CEDFs with $m \equiv 0 \mod 4$ sets. Further, new results arise for graph labellings themselves (e.g. cyclotomy-based near $α$-valuations for a family of trees without $α$-valuations, and an $α$-valuation for sun graphs).
Extremal degree-based indices of general polyomino chains via dynamic programming
In this paper, we develop a dynamic programming framework for identifying extremal general polyomino chains with respect to degree-based topological indices. As a concrete application, we resolve an open problem posed in 2015 by determining, for any given number of squares, the general polyomino chains that maximize the generalized Randić index with parameter $α=-1$. We show that the extremal configurations depend explicitly on the residue class of the number of squares modulo 4. Beyond this specific result, the proposed dynamic programming approach provides a constructive and systematic methodology for tackling extremal problems in graph theory.
Pseudo-orientable ribbon graphs: Matrix--Quasi-tree Theorem and log-concavity
One of the most important classes of even $Δ$-matroids arises from orientable ribbon graphs, which play a role analogous to that of graphic matroids in matroid theory. Motivated by a natural correspondence between strong $Δ$-matroids and even $Δ$-matroids due to Geelen and Murota, we characterize the class of strong $Δ$-matroids that correspond to orientable ribbon-graphic $Δ$-matroids. These are precisely the $Δ$-matroids associated with what we call pseudo-orientable ribbon graphs. Moreover, we present a geometric construction that transforms a pseudo-orientable ribbon graph into an orientable ribbon graph, thereby realizing this correspondence.
As consequences, we obtain the Matrix--Quasi-tree Theorem, the Hurwitz stability of quasi-tree generating polynomials, and a log-concavity result for the sequence counting quasi-trees of size $2i-1$ or $2i$ for pseudo-orientable ribbon graphs. To establish the log-concavity, we generalize Stanley's log-concavity theorem for regular matroids to regular $Δ$-matroids. Finally, we exhibit an infinite family of non-pseudo-orientable ribbon graphs that fail to satisfy the Matrix--Quasi-tree theorem and Hurwitz stability.
Color $2$-switches and neighborhood $λ$-balanced graphs with $k$ colors
This paper examines vertex colorings of graphs with constraints on the distribution of colors in vertex neighborhoods. We introduce color 2-switches and color degree matrices. The color degree matrix of a $k$-colored graph is an analog of the degree sequence, while a color 2-switch provides a way to transform a $k$-colored graph to another such graph while maintaining the color of each vertex and the multiset of colors in each vertex neighborhood. We prove that two $k$-colored graphs have the same color degree matrix if and only if one can be obtained from the other by a sequence of color 2-switches.
In related work, we generalize neighborhood balanced colorings by allowing for $k$ colors (instead of two) and more flexibility on the number of vertices of each color in a neighborhood. We introduce three classes of $k$-colored, $λ$-balanced graphs, in which any two color classes in a vertex neighborhood differ in size by at most $λ$. These classes are distinguished by whether the balancing condition is imposed on the open neighborhood $N(v)$, the closed neighborhood $N[v]$, or allowed to vary by vertex. For each class, the minimum $λ$ for which a graph admits a balanced coloring defines its $λ$-balance number. We prove general results about these classes and their $λ$-balance numbers. For $k = 2$, we introduce a fourth class, parity balanced graphs, in which the number of vertices of each color are equal in open neighborhoods for even-degree vertices and in closed neighborhoods for odd-degree vertices.
Additionally, we focus on the important case where $k=2$ and $λ\le 1$ and introduce the technique of red-blue removals. We provide separating examples between these four classes and prove balance number results for paths, cycles, wheels, trees, caterpillars, and complete multipartite graphs, and a counting result for caterpillars.
Logical aspects of isomorphism of controllable graphs and cospectrality of distance-regularized graphs
We consider isomorphism of controllable graphs and cospectrality of distance-regularized graphs (which are known to be distance-regular or distance-biregular) in relation to logical definability. While most characterizations of these equivalence relations for such graph classes are of algebraic and spectral flavor, here we inject tools from first-order logic, extending and unifying several existing results.
Hoffman colorability of graphs with smallest eigenvalue at least -2
In accordance with the Cameron-Goethals-Seidel-Shult Classification Theorem, we extend the characterization of Hoffman colorability of line graphs from (Abiad, Bosma, Van Veluw, 2025) to all connected graphs with smallest eigenvalue at least $-2$; we give a characterization of Hoffman colorability of generalized line graphs, and we completely classify the Hoffman colorable exceptional graphs. The 245 Hoffman colorable exceptional graphs from this classification admit a natural partial ordering, and we determine the 29 graphs that are maximal in this respect, in a way similar to the classification of maximal ($E_8$-representable) exceptional graphs as described in (Cvetković, Rowlinson, Simić, 2004). Lastly, as a byproduct and also similarly as in (loc. cit.), we determine all 39 graphs that are maximal with respect to being representable in the $E_7$ root system.
On cosmological polytopes, their canonical forms and their duals
We compute the canonical form of the cosmological polytope for any graph in terms of the dual of the shifted cosmological polytope in two different ways. On the way, we provide an explicit coordinate description of the dual of the cosmological polytope. Moreover, we construct two triangulations of the dual cosmological polytope in terms of maximal and almost maximal tubings of the underlying graph. Though the existence of the first triangulation was already suggested by Arkani-Hamed, Benincasa and Postnikov, the second is completely new and, in particular, gives rise to a new expression of the canonical form of the cosmological polytope.
Spectral radius and rainbow Hamiltonicity in bipartite graphs
Published
• View Publication
• BIB
Let $\mathcal{G}=\{G_1, G_2, \ldots , G_k\}$ be a family of bipartite graphs on the same vertex set. A rainbow Hamilton path (cycle) in $\mathcal{G}$ is a path (cycle) that visits each vertex precisely once such that any two edges belong to different graphs of $\mathcal{G}.$ In this paper, by adopting the technique of bi-shifting, we present tight sufficient conditions in terms of the spectral radius for a family $\mathcal{G}$ to admit a rainbow Hamilton path and cycle, respectively. Meanwhile, we completely characterize the corresponding spectral extremal graphs.