graph
34516 papers tagged with this keyword
Monodromy representation of graphs
It is well-known that every vertex-transitive graph admits a representation as a coset graph. In this paper, we extend this construction by introducing monodromy graphs defined through double cosets. Our main result establishes that every graph is isomorphic to a monodromy graph, providing a new combinatorial framework for graph representation. Moreover, we show that every graph gives rise to an arc-transitive graph through its monodromy representation. Inspired by the monodromy representation of graphs, we denote an algebraic map $\mathcal{M}(G;Ω,ρ,τ)$ by $\mathcal{M}(G;U,ρ,τ)$ where $U$ is a stabiliser in $G$. As an application, we prove an enumeration theorem for orientable maps with a given monodromy group. We underscore a fundamental triad in algebraic graph theory: Where there is a graph, there is a group, an arc-transitive graph, and an orientable regular map--each arising canonically from the underlying combinatorial and algebraic structures.
Tops of graphs of projective codes
Let $Γ_k(V)$ be the Grassmann graph whose vertex set ${\mathcal G}_{k}(V)$ is formed by all $k$-dimensional subspaces of an $n$-dimensional vector space $V$ over the finite field $F_q$ consisting of $q$ elements. Denote by $Π[n,k]_q$ the subgraph of $Γ_k(V)$ formed by projective codes. We give a complete description of cliques $\langle U]^Π_{k}$ of $Π[n,k]_q$ consisting of all $k$-dimensional projective codes contained in a fixed $(k+1)$-dimensional subspace of $V$. We show when and in how many lines of ${\mathcal G}_{k}(V)$ they are contained. Next we prove that $\langle U]^Π_{k}$ is a maximal clique of $Π[n,k]_q$ exactly if it
is contained in at most one line of ${\mathcal G}_{k}(V)$.
Colour-biased Hamilton cycles in dense graphs and random graphs
A classical result of Dirac says that every $n$-vertex graph with minimum degree at least $\frac{n}{2}$ contains a Hamilton cycle. A `discrepancy' version of Dirac's theorem was shown by Balogh--Csaba--Jing--Pluhár, Freschi--Hyde--Lada--Treglown, and Gishboliner--Krivelevich--Michaeli as follows. Every $r$-colouring of the edge set of every $n$-vertex graph with minimum degree at least $(\frac{1}{2} + \frac{1}{2r} + o(1))n$ contains a Hamilton cycle where one of the colours appears at least $(1+o(1))\frac{n}{r}$ times. In this paper, we generalize this result by asymptotically determining the maximum possible value $f_{r,α}(n)$ for every $α\in [\frac{1}{2}, 1]$ such that every $r$-colouring of the edge set of every $n$-vertex graph with minimum degree at least $αn$ contains a Hamilton cycle where one of the colours appears at least $f_{r,α}(n)$ times. In particular, we show that $f_{r,α}(n) = (1-o(1)) \min\{(2α- 1)n, \frac{2αn}{r}, \frac{2n}{r+1}\}$ for every $α\in [\frac{1}{2} + \frac{1}{2r}, 1]$.
A graph $H$ is called an $α$-residual subgraph of a graph $G$ if $d_H(v)\ge αd_{G[V(H)]}(v)$ for every $v\in V(H)$. Extending Dirac's theorem in the setting of random graphs, Lee and Sudakov showed the following. The Erdős--Rényi random graph $G(n,p)$, with $p$ above the Hamiltonicity threshold, typically has the property that every $(\frac{1}{2} +o(1))$-residual spanning subgraph contains a Hamilton cycle. Motivated by this, we prove the following random version of our `discrepancy' result. The random graph $G \sim G(n,p)$, with $p$ above the Hamiltonicity threshold, typically satisfies that every $r$-colouring of the edge set of every $α$-residual spanning subgraph of $G$ contains a Hamilton cycle where one of the colours appears at least $f_{r,α}(n)$ times.
Circular-arc H-graphs: Ordering Characterizations and Forbidden Patterns
We introduce the class of circular-arc H-graphs, which generalizes circular-arc graphs, particularly circular-arc bigraphs. We investigate two types of ordering-based characterizations of circular-arc r-graphs. Finally, we provide forbidden patterns for circular-arc r-graphs in terms of specific vertex orderings.
Rees algebras of complementary edge ideals
In this paper we investigate the Rees algebras of squarefree monomial ideals $I \subset S=K[x_1,\dots,x_n]$ generated in degree $n-2$, where $K$ is a field. Every such ideal arises as the complementary edge ideal $I_c(G)$ of a finite simple graph $G$. We describe the defining equations of the Rees algebra $\mathcal{R}(I_c(G))$ in terms of the combinatorics of $G$. If $G$ is a tree or a unicyclic graph whose unique induced cycle has length $3$ or $4$, we prove that $\mathcal{R}(I_c(G))$ is Koszul. We also determine the asymptotic depth of the powers of $I_c(G)$, proving that $\lim_{k \to \infty}\text{depth}\, S/I_c(G)^k=b(G)$, where $b(G)$ is the number of bipartite connected components of $G$. Finally, we show that the index of depth stability of $I_c(G)$ is at most $n-2$, and equality holds when $G$ is a path graph.
Reinforced Generation of Combinatorial Structures: Hardness of Approximation
Can AI based methods help us make advances in complexity theory? We provide evidence towards answering this in the affirmative, using AlphaEvolve (an LLM code mutation agent) to obtain new results in three settings:
a) We improve a recent result of Kunisky and Yu to obtain near-optimal upper and (conditional) lower bounds on certification algorithms for MAX-CUT and MAX-Independent Set on random 3- and 4-regular graphs. Our improved lower bounds are obtained by constructing nearly extremal Ramanujan graphs on as many as $163$ vertices, and our upper bounds are obtained via analytical arguments.
b) We obtain new inapproximability results for MAX-4-CUT and MAX-3-CUT, proving that it is NP-hard to approximate them within factors of $0.987$ and $0.9649$ respectively, using AlphaEvolve to discover new gadget reductions. Our MAX-4-CUT result improves upon the SOTA of $0.9883$, and our MAX-3-CUT result improves on the current best gadget-based inapproximability result of $0.9853$, but falls short of the SOTA of $16/17$ that relies on a custom PCP (rather than a reduction from ``standard'' Håstad-style PCPs).
c) Inapproximability for the metric Traveling Salesman Problem (TSP): We show that it is NP-hard to approximate the minimum cost tour within a factor of $111/110$ using AlphaEvolve to discover a new gadget, thus improving the SOTA of $117/116$. Along the way, we provide new modular soundness and completeness arguments that can be of independent interest.
A key technical challenge we faced: verifying a candidate construction produced by AlphaEvolve is costly (sometimes requiring time exponential in the size of the construction). We used AlphaEvolve itself to evolve the verification procedure to be faster (sometimes by $10,000\times$ for our gadgets). Our results suggest that gadget based proofs would benefit from a pass through AI-based tools to obtain stronger results.
Graph enumeration for moduli spaces of curves and maps
We develop a calculus based on graph enumeration for $S_n$-equivariant motivic invariants of graphically stratified moduli spaces. We apply our theory to the Deligne--Mumford moduli space $\overline{\mathcal{M}}_{g, n}$ and to the space of torus-fixed stable maps $\overline{\mathcal{M}}_{g, n}(X, β)^{\mathbb{C}^\star}$ when the target $X$ admits an appropriate $\mathbb{C}^\star$-action, deriving new formulas in each case. A key role is played by the Pólya--Petersen character of a graph, which enriches Pólya's classical cycle index polynomial. This character is valued in an algebra $Λ^{[2]}$ of wreath product symmetric functions, which we study from combinatorial and representation-theoretic perspectives. We prove that this algebra may be viewed as the Grothendieck ring of the category of polynomial functors which take symmetric sequences of vector spaces to vector spaces, building on foundational work of Macdonald. This leads to a plethystic action of $Λ^{[2]}$ on the ring $Λ$ of ordinary symmetric functions. Using this action, we derive our formulas, which ultimately involve only ordinary symmetric functions and the Grothendieck ring of mixed Hodge structures.
Graph entropy, degree assortativity, and hierarchical structures in networks
Published in Physical Review E 112(6): 064315, 2025
• View Publication
• BIB
We connect several notions relating the structural and dynamical properties of a graph. Among them are the topological entropy coming from the vertex shift, which is related to the spectral radius of the graph's adjacency matrix, the Randić index, and the degree assortativity. We show that, among all connected graphs with the same degree sequence, the graph having maximum entropy is characterized by a hierarchical structure; namely, it satisfies a breadth-first search ordering with decreasing degrees (BFD-ordering for short). Consequently, the maximum-entropy graph necessarily has high degree assortativity; furthermore, for such a graph the degree centrality and eigenvector centrality coincide. Moreover, the notion of assortativity is related to the general Randić index. We prove that the graph that maximizes the Randić index satisfies a BFD-ordering. For trees, the converse holds as well. We also define a normalized Randić function and show that its maximum value equals the difference of Shannon entropies of two probability distributions defined on the edges and vertices of the graph based on degree correlations.
Clique-factors in graphs with low $K_{\ell}$-independence number
Given $r\in \mathbb{N}$ with $r\geq 4$, we show that there exists $n_0\in \mathbb{N}$ such that for every $n\geq n_0$, every $n$-vertex graph $G$ with $δ(G)\geq (\frac{1}{2}+o(1))n$ and $α_{r-2}(G)=o(n)$ contains a $K_{r}$-factor. This resolves the first open case of a question proposed by Nenadov and Pehova, and reiterated by Knierm and Su. We further introduce two lower bound constructions that, along with some known results, fully resolve a question presented by Balogh, Molla, and Sharifzadeh.
Combinatorial proofs of Petrie Pieri rule and Plethystic Pieri rule
Petrie symmetric functions $G(k,n)$, also known as truncated homogeneous symmetric functions or modular complete symmetric functions, form a class of symmetric functions interpolating between the elementary symmetric functions $e_n$ and the homogeneous symmetric functions $h_n$. Analogous to the Pieri rule for $s_μh_n$ and the dual Pieri rule for $s_μe_n$, Grinberg showed that the Schur coefficients for the ``Pieri rule'' of $s_μG(k,n)$ can be determined by the determinant $\pet_k(λ,μ)$ of Petrie matrices. Cheng, Chou, Eu, Fu, and Yao provided a ribbon tiling interpretation for the coefficient $\pet_k(λ,\varnothing)$, which was later generalized by Jin, Jing, and Liu to $\pet_k(λ,μ)$ in the case where $λ/μ$ is connected.
The goal of this paper is to offer a more transparent combinatorial perspective on the structure and behavior of Petrie symmetric functions. First, we provide a refined combinatorial formula for the determinant of a Petrie matrix in terms of certain orientations of the associated graph derived from the matrix. We then generalize the result of JJL to arbitrary skew shapes using purely combinatorial proofs. In addition, we investigate the generating function of these orientations with respect to certain statistics. As an application of our method, we present a combinatorial proof of the plethystic Pieri rule.
Eccentric Connectivity Index of Strongly Connected Digraphs
Let $G = (V, E)$ be a graph with non-empty set of vertices $V$ and set of edges $E$. The \emph{eccentric connectivity index} of the graph $G$ is defined as $$\displaystyle{ξ^C(G) = \sum_{u \in V} d_u \;ecc(u)}$$ where $d_u$ is the degree and $ecc(u)$ is the eccentricity of the vertex $u \in V$. This article is an attempt to find the \emph{eccentric connectivity index} of strongly connected digraph $D$ with respect to the metric, \textit{maximum distance} defined by $md(u,v)=\max\{\vec{d}(u,v),\vec{d}(v,u)\}$. An attempt is also made to find the extremal values for strongly connected digraphs.
Closed Walks Of Low Dimension And Twisted Moments On Self-Loop Graphs
Let $G_S$ be a graph with loops attached at each vertex in $S \subseteq V(G).$ In this article, we develop exact formulae for the number of closed $3$- and $4$-walks on $G_S$ in terms of vertex degrees and certain elementary subgraphs of $G_S.$ We then derive the specific closed walks formulae for several graph families such as complete bipartite self-loop graphs, complete graphs, cycle graphs, etc. We demonstrate that such invariants are non-trivial in $G_S,$ which otherwise may be trivial in the loopless case. Moreover, we study a moment-like quantity $\mathcal{M}_q(G_S)=\sum^n_{i=1} |λ_i(G_S) - \fracσ{n}|^q,$ twisted by the spectral moment $\mathsf{M}_1(G_S)$ for $G_S,$ and show a positivity result. We also establish that the following ratio inequality holds: \[ \frac{\mathcal{M}_{1}}{\mathcal{M}_{0}} \leq \frac{\mathcal{M}_{2}}{\mathcal{M}_{1}} \leq \frac{\mathcal{M}_{3}}{\mathcal{M}_{2}} \leq \frac{\mathcal{M}_{4}}{\mathcal{M}_{3}} \leq \cdots \leq \frac{\mathcal{M}_{n}}{\mathcal{M}_{n-1}} \leq \cdots. \] As a consequence, we obtain lower bounds for the self-loop graph energy $\mathcal{E}(G_S)$ in terms of $\mathcal{M}_i,$ extending some classical bounds.
On saturation problems for matchings with regularity constraints
A graph $G$ is $F$-saturated if $G$ is $F$-free but for any edge $e$ in the complement of $G$ the graph $G + e$ contains $F$. Gerbner et al. (Discrete Math., 345 (2022), 112921) initiated the study of $rsat(n,F)$, the minimum number of edges in a regular $n$-vertex $F$-saturated graph, and they posed the problem of for which graphs $rsat(n, F )$ exists. Regarding this problem, we obtain the precise value of $rsat(n,(m+1)K_2)$ for all possible cases, where $(m+1)K_2$ denotes a matching of size $m+1$. As a natural counterpart, we also determine the maximum number of edges in a regular $n$-vertex $(m+1)K_2$-free graph for all $m\ge 1$ and $n\ge 2m+2$.
Computational results on semistrong edge coloring of graphs
The semistrong edge coloring, as a relaxation of the well-known strong edge coloring, can be used to model efficient communication scheduling in wireless networks. An edge coloring of a graph $G$ is called \emph{semistrong} if every color class $M$ is a matching such that every edge of $M$ is incident with a vertex of degree 1 in the subgraph of $G$ induced by the endvertices of edges in $M$. The \emph{semistrong chromatic index} $χ_{ss}'(G)$ of $G$ is the minimum number of colors required for a semistrong edge coloring. In this paper, we prove that the problem of determining whether a graph $G$ has a semistrong edge coloring with $k$ colors is polynomial-time solvable for $k\le2$ and is NP-complete for $k\ge3$. For trees, we develop a polynomial-time algorithm to determine the semistrong chromatic index exactly.
Existence, uniqueness and construction of locally most reliable two-terminal graphs
A two-terminal graph is a graph G equipped with two vertices in V(G) called terminals. Let T(n,m) be the set of two-terminal graphs on n vertices and m edges. Let G be in T(n,m) and let p be in [0,1]. The two-terminal reliability of G at p, denoted R_G(p), is the probability that G has a path joining its terminals after each of its edges is independently removed with probability 1 - p. We say G is a locally most reliable two-terminal graph (LMRTTG) if for each H in T(n,m) there exists a positive real number delta such that for every p in (0, delta) it holds that R_G(p) >= R_H(p).
It is simple to prove that there exists a unique LMRTTG in T(n,m) when n >= 4 and 5 <= m <= 2n - 3. Gong and Lin [Discrete Appl. Math. 356 (2024), 393-402] further proved that there exists a unique LMRTTG in T(n,m) when n >= 6 and 2n - 3 <= m <= n(n - 1)/2, except for some pairs of integers n and m which satisfy that n >= 6 and (1/2)(n - 2)(n - 3) - (n - 2)/2 <= m - (2n - 3) <= (1/2)(n - 2)(n - 3) + (n - 2)/2. All cases unresolved in earlier works are covered here. In this article it is proved that in each set T(n,m) such that n >= 4 and 5 <= m <= n(n - 1)/2 there exists a unique LMRTTG, called G(n,m). A construction of G(n,m) is also given.
The $S$-packing coloring of the infinite diagonal grid with $S = (1,6,6,\ldots)$
For a non-decreasing sequence of positive integers $S = (a_1, a_2,\ldots)$, the $S$-packing chromatic number of a graph $G$ is the smallest positive integer $k$ such that the vertices can be colored with $k$ colors, where the distance between any two distinct vertices of color $i$ is greater than $a_i$. In this paper, we show that the $S$-packing chromatic number of the infinite diagonal grid $P_\infty \boxtimes P_\infty$ with $S = (1,6,6,\ldots)$ is $40$. This confirms a conjecture of the first author and Tiyajamorn.
Double signs of Hamiltonian circles in doubly signed complete graphs
We study Hamiltonian circles in the doubly signed complete graph $Σ_n = (K_n, σ, \mathbb{F}_2^2)$. A circle's double sign is defined as the sum of its edge labels. I establish conditions under which Hamiltonian circles realize all four possible double signs and prove that this occurs when the set of triangle double signs contains at least three distinct values. The proof is based on an analysis of triangle bases of the binary cycle space, structural properties of $K_4$ subgraphs, and explicit Hamiltonian constructions.
Eccentricity spectral properties of $\mathcal{C}$-graphs
A cograph is a simple graph that contains no induced path on four vertices. In this paper, we consider $\mathcal{C}$-graphs, which are a specific class of cographs, defined as $$\overline{\overline{\overline{K_{α_{1}}}\cup K_{α_{2}}}\cup \cdots \cup K_{α_{2k}}},$$ %\text{ where } k \geq 2, α_{2k}\geq 2,$$
where $k \geq 2$, $α_{2k} \geq 2$, and $K_{α_{i}}$ denotes the complete graph on $α_{i}$ vertices. We investigate the spectral properties of the eccentricity matrix of this particular class of cographs. Additionally, we determine the irreducibility and inertia of the eccentricity matrix of $\mathcal{C}$-graphs. Furthermore, we identify an interval $(-1-\sqrt{2},-2)\cup (-2,0)$ in which these graphs have no eccentricity eigenvalues.
List Coloring the Cartesian Product of a Complete Graph and Complete Bipartite Graph
We study the list chromatic number of the Cartesian product of a complete graph of order $n$ and a complete bipartite graph with partite sets of size $a$ and $b$, denoted $χ_{\ell}(K_n \square K_{a,b})$. At the 2024 Sparse Graphs Coalition's Workshop on algebraic, extremal, and structural methods and problems in graph colouring, Mudrock presented the following question: For each positive integer $a$, does $χ_{\ell}(K_n \square K_{a,b}) = n+a$ if and only if $b \geq (n+a-1)!^a/(a-1)!^a$? In this paper, we show the answer to this question is yes by studying $χ_{\ell}(H \square K_{a,b})$ when $H$ is strongly chromatic-choosable (a special form of vertex criticality) with the help of the list color function and analytic inequalities such as that of Karamata. Our result can be viewed as a generalization of the well-known result that $χ_{\ell}(K_{a,b}) = 1+a$ if and only if $b \geq a^a$.
List of constructions of $NO^+(6,2)$
In this note, we list many equivalent constructions of the tangent polar graph $NO^+(6,2)$.