graph
34516 papers tagged with this keyword
Vertex-transitive quantum graphs
We define a quantum graph to be vertex-transitive if the join of its automorphism group is the maximum quantum relation on its quantum vertex set, in direct analogy with the classical case. All simple quantum graphs in $M_2(\mathbb C)$ are vertex-transitive, but many simple quantum graphs in $M_3(\mathbb C)$ are not vertex-transitive. We provide a complete classification of vertex-transitive quantum graphs in $M_3(\mathbb C)$ up to isomorphism. To do this, we introduce a polynomial invariant for quantum graphs in $M_n(\mathbb C)$, which we call the panoramic polynomial.
The NF-operator and the NF-Numbers of Simplicial Complexes
Let $\bigtriangleup$ be a simplicial complex and let $δ_{\mathcal{NF}}$ denote the NF-operator. The NF-complex $δ_{\mathcal{NF}}(\bigtriangleup)$ is defined as the Stanley--Reisner complex of the facet ideal of $\bigtriangleup$. Iterating $δ_{\mathcal{NF}}$ gives a periodic orbit (up to isomorphism), and the smallest positive integer $t$ for which $δ_{\mathcal{NF}}^{\,t}(\bigtriangleup)\cong \bigtriangleup$ is called the \emph{NF-number} of $\bigtriangleup$ (Habi and Mahmood, Algebra Colloquium, 2022). In this work, we provide various results and determine explicit formulas for the NF-number for several families of graphs. In particular, we compute the NF-number for dumbbell graphs. We also prove that the NF-number of the complete split graph $S_{n,m}$ equals $m+n+2$, and that the NF-number of the double star $D_{p+q}$ equals $p+q+4$. We conclude with remarks, open problems, and conjectures to guide future research.
Remarks about the Moebius-Kantor graph
The Moebius-Kantor graph MK=G(8,3) is a Cayley graph of three non-abelian groups, the Pauli group P(1), the semi-dihedral group SD(16), as well as the dihedral group D(16) of order 16. In topological graph theory, it illustrates the Heawood number 7 of the torus and leads to the Tucker group Aut(MK), the unique group of genus 2. We compute the Lefschetz numbers to illustrate the Brouwer-Lefschetz fixed point theorem. MK is also the dual of the 2-skeleton complex of the 3-sphere G. The graph represents one of flat Clifford tori of a Hopf fibration in the 3-sphere G=K(2,2,2,2) reflecting that Coxeter saw that MK is a subgraph of the tesseract G*. It carries a metric d so that (MK,d) has only one algebraic group structure (P(1),*) that preserves the metric. It makes the Pauli group natural, similarly as the Moebius ladder M(16) makes the dihedral group D(16) natural, forcing the algebraic structure from the metric structure.
The spectral inducibility of graphs
We introduce a spectral version of the classical inducibility problem. Given an $\ell$-vertex graph $F$ and an $n$-vertex graph $G$, let $H_F(G)$ be the $\ell$-uniform hypergraph whose edges are the $\ell$-sets inducing a copy of $F$ in $G$. We study the maximum possible $α$-spectral radius of $H_F(G)$ over all $n$-vertex graphs $G$. For fixed $G$, this spectral parameter tends to $\ell!$ times the number of induced copies of $F$ in $G$ as $α\to\infty$, and therefore refines the usual induced-copy count.
Our main result is a spectral analogue of the Brown--Sidorenko reduction: for every complete multipartite graph $F$, every $n$, and every $α\ge1$, a spectral extremal graph can be chosen to be complete multipartite. We also show that the leading asymptotic constant is the ordinary inducibility $i(F)$, and obtain exact multipartite reductions for stars $K_{1,t}$ and balanced complete $r$-partite graphs $K_{a,\ldots,a}$ with $r\le 2^a-1$.
Ollivier Ricci curvature on graphs obtained by removing edges from complete graphs
Under what conditions does the sign of the Ollivier Ricci curvature on a graph of a certain order change? In this paper, we discuss the curvature of graphs obtained by removing edges from complete graphs, as complete graphs have a stable positive curvature. We defined graphs obtained by removing matching edges, the set of edges incident with the vertex, and cycle edges from complete graphs, and then analyzed the Ollivier Ricci curvature of those graphs. The results show that the curvature of the graphs in the above three patterns is equal to the value obtained by dividing the number of triangles, including two vertices, by the maximum degree of the two vertices. This result also indicates that the curvature of the above graphs is zero or positive. This study concludes that the Ollivier Ricci curvature is predicted to be positive even if some edges are removed from a complete graph, and we suggest that these discussions are suitable for investigating the conditions under which the sign of the Ollivier Ricci curvature on a graph.
Diffusion-Robust Optimization over Graphs
We introduce a diffusion-based uncertainty model for robust optimization on directed graphs, in which perturbations of edge weights propagate along adjacent edges and satisfy conservation constraints at nodes. This topology-aware structure is natural in networked systems where uncertainty is induced by flows and local interactions, including transportation, logistics, communication, and energy networks. We analyze how such diffusive uncertainty reshapes the computational landscape of robust graph optimization. For convex network problems, such as minimum-cost flow and maximum flow, the resulting formulations remain convex and admit polynomial-time solution methods across all diffusion regimes considered. For combinatorial problems, the effect is more delicate. We focus on two canonical combinatorial graph problems, shortest path and the traveling salesman problem (TSP), which provide complementary benchmarks: shortest path is polynomial-time solvable in the nominal setting, whereas TSP is already NP-hard. We show that, for shortest path, propagation depth induces a sharp transition between tractable and intractable robust counterparts. For the traveling salesman problem, robustness often adds no computational complexity beyond ordinary TSP, because the structure of Hamiltonian cycles makes the fixed-tour adversarial problem collapse to explicit formulas. Together, these results show that topology-aware uncertainty can fundamentally change robust combinatorial optimization, with tractability governed by the interaction between propagation, budget geometry, and the structure of feasible solutions.
$λ$-Chromatic Polynomials and Polytope Geometry
In this paper, we investigate the notion of the \textit{$λ$-chromatic polynomial} of a graph, which enumerates the number of distinct $L(2,1)$-colorings using colors from a prescribed finite set. We prove that the $λ$-chromatic polynomial of a graph with $n$ vertices is a monic polynomial of degree $n$ and provide a combinatorial interpretation via lattice point enumeration within the framework of inside-out polytopes. Moreover, we compute the $λ$-chromatic polynomial of complete graphs $K_n$ using lattice path enumeration, and we develop a block-gap technique to derive the $λ$-chromatic polynomials for complete bipartite and multipartite graphs. Our approach unifies geometric, combinatorial, and algebraic methods to provide a systematic treatment of $λ$-colorings across various families of graphs.
Reconfiguration graphs of $K_{2,3}$-minor-free graphs
The $\ell$-reconfiguration graph of a graph $G$, denoted by $\mathcal{R}_{\ell}(G)$, is the graph whose vertices are the proper $\ell$-colorings of $G$, with an edge between two colorings if they differ in color on exactly one vertex. For any graph $G$ of treewidth at most $2$, Bousquet and Perarnau showed that $\mathcal{R}_\ell(G)$ has linear diameter for $\ell\geq 6$. This result was later extended by Bartier, Bousquet, and Heinrich, who proved that $\mathcal{R}_5(G)$ also has linear diameter.
In this paper, we show that for each $\ell\geq 5$, the $\ell$-reconfiguration graphs of $K_{2,3}$-minor-free graphs, some of which include graphs of treewidth $3$, have linear diameter. As a key step in our proof, we also establish that the $(\ell-1)$-reconfiguration graphs of cactus graphs have linear diameter.
Universality for rainbow oriented cycles in perturbed digraphs
A randomly perturbed digraph is an $n$-vertex directed graph with all out- and in-degrees linear in $n$, to which a linear number (depending on the degree) of random edges have been randomly added. We show that randomly perturbed digraphs whose edges have been colored uniformly with $n$ colors have a rainbow copy of every orientation of every possible length cycle, simultaneously, with high probability. This is a common generalization of work of Araujo, Balogh, Krueger, Piga, and Treglown in the uncolored setting and Katsamaktsis, Letzter, and Sgueglia for consistently oriented spanning cycles. Our proof uses Montgomery's distributive absorption method.
Diameter Thresholds of Random Cayley Graphs
Given a group $G$, the model $\mathcal{G}(G,p)$ denotes the probability space of all Cayley graphs of $G$ where each element of $G$ is included in the generating set independently at random with probability $p$.
In this article, we investigate the threshold probabilities for the diameter of random graphs in this model. Specifically, let $d_N = (1-γ)\sqrt{\frac{\log{N}}{2\log{\log{N}}}}$, where $γ\in (0,1)$ is any fixed real number. We show that for any $\varepsilon > 0$, any family of groups $G_k$ of order $N_k$ for which $N_k \to \infty$, and any integer $2 \leqslant d\leqslant d_{N_k}$, a graph $Γ_k \in \mathcal{G}(G_k,p)$ with high probability has diameter at most $d$ if $p \geqslant \sqrt[d]{(1+\varepsilon) d! \frac{\log{N_k}}{N_k^{d-1}}}$, and diameter greater than $d$ if $p \leqslant \sqrt[d]{\frac{1-\varepsilon}{2^d} \frac{\log{N_k}}{N_k^{d-1}}}$.
Up to a constant factor, these thresholds are similar to those for the usual Erdős-Rényi random graphs. However, the precise thresholds in our model depend on the underlying family of groups. We provide specific examples of group families demonstrating that both of our bounds are best possible.
Sharp threshold for Hamilton cycles in randomly perturbed sparse graphs
We determine the sharp threshold for Hamilton cycles in randomly perturbed sparse graphs. For any $α=α(n)=o(1)$, let $G_α$ be an $n$-vertex graph with minimum degree $δ(G_α)\geαn$. We prove that if $$p\ge(1+\varepsilon)\frac{\log(1/α)}{n},$$ then the union $G_α\cup G(n,p)$ is Hamiltonian asymptotically almost surely. This significantly strengthens a recent result of Hahn-Klimroth, Maesaka, Mogge, Mohr, and Parczyk by improving the leading constant from 6 to the optimal value of 1. Crucially, we show that this bound on $p$ is best possible when $αn\rightarrow\infty$, thereby establishing the exact probability threshold for Hamiltonicity in this sparse regime. Our proof relies on a robust random expansion lemma, Pósa's booster lemma, and a sprinkling argument.
A Computational Study of Limited Augmented Zarankiewicz Numbers in the Incidence-Graph Family of Complete Graphs
Let $G_1$ denote the incidence graph of the complete graph $K_{q+1}$. We study limited augmented Zarankiewicz numbers in this family by combining exact 0--1 ILP computations for the smallest cases with a constructive search procedure followed by exact admissibility verification in the larger cases considered here. We obtain \[ z_L(6,4)=14,\qquad z_L(10,5)=26,\qquad z_L(15,6)\ge 43,\qquad z_L(21,7)\ge 64,\qquad z_L(28,8)\ge 88. \] The first two values are exact. The three lower bounds arise from explicitly verified admissible families with $|E_2|=13$, $|E_2|=22$, and $|E_2|=32$, respectively; the families used to obtain these bounds are nondegenerate in the sense of [8]. In each case, the resulting value improves the corresponding classical Zarankiewicz number and hence strengthens the available lower bounds for BSR(m,n) within this family.
Linear and matrix generalizations of some combinatorial min-max theorems
We review known linear and matrix generalizations of Hall's classic ``marriage theorem'' and Kőnig's theorem on partial matchings in bipartite graphs, and relate them to linear and matrix generalizations of Dilworth's theorem about chains and antichains in posets and Menger's theorem about disjoint paths in directed graphs.
Counterexamples to Clique Immersion Conjecture for Direct Products
Let \(G\) and \(H\) be graphs, and let \(G\times H\) denote their direct product. For a graph \(G\), let \(\operatorname{im}(G)\) be the largest integer \(t\) such that \(G\) contains a \(K_t\)-immersion. Collins, Heenehan, and McDonald conjectured that if \(\operatorname{im}(G)=t\) and \(\operatorname{im}(H)=r\), then \[\operatorname{im}(G\times H)\ge (t-1)(r-1)+1.\] We disprove this conjecture by constructing an infinite family of connected bipartite counterexamples.
A note on the Alon-Saks-Seymour problem
Let $f(k)$ be the maximum possible chromatic number of a graph whose edge set can be partitioned into at most $k$ complete bipartite graphs. Alon, Saks, and Seymour conjectured that $f(k)=k+1$ for all $k$. While the conjecture was verified for $k \leq 9$ by Gao et al., it was disproved by Huang and Sudakov, and further Balodis et al. proved that $f(k) \geq 2^{\widetildeΩ((\log k)^2)}$.
In this note, we give a simple proof of the recursive upper bound $f(k+1) \leq f(k)+f(\lfloor k/4 \rfloor)$. Consequently, $f(k) \leq 2^{(\log_2 (4k))^2/4}$ for $k \geq 1$. This improves the previous best known upper bound of Mubayi and Vishwanathan in the exponent by a factor which is asymptotically two. Note that these bounds are sharp up to a lower order factor in the exponent by the result of Balodis et al.
Jump and Gradient Invariants in the Partition Graph
We introduce edgewise jump invariants and gradient-type structures for the partition graph $G_n$, whose vertices are the partitions of $n$ and whose edges correspond to elementary transfers of one unit between parts. Previous work on $G_n$ has focused mainly on vertex-level invariants such as degree, local simplex dimension, and support size. Here we study how such invariants change along edges. For an oriented edge $e=(λ,μ)$ and a vertex invariant $F$, we define the signed jump $Δ_e F=F(μ)-F(λ)$ and focus on the basic jump signature \[ J(e)=(Δ_e d,Δ_eδ,Δ_eσ), \] where $d$ is degree, $δ$ is local simplex dimension, and $σ$ is support size. We prove that support jumps are universally bounded by $2$ and describe them in terms of local multiplicity data. We also develop a taxonomy of active, neutral, pure, and mixed transitions, relate nonzero jumps of integer-valued invariants to threshold-layer crossings, and discuss strict gradient orientations associated with real-valued vertex invariants. Finally, we formulate a reproducible protocol for a computational atlas of jump spectra, transition ranks, large-jump edges, and localization patterns. No large-scale computations are carried out here; the atlas is presented as a framework for subsequent work.
A stability theorem for embedding bounded degree spanning trees
We prove that if an $n$-vertex graph $G$ is non-extremal and $T$ is a bounded degree tree on $n$ vertices, then $T\subset G$ even when the minimum degree of $G$ is less than $n/2$ by a linear term. We avoid the use of the Regularity lemma, instead we apply a vertex decomposition theorem by the author, which does not require a tower-type lower bound for $n.$
Tightness of a MaxCut Lower Bound via Vector Chromatic Number
Recently, Balla, Janzer, and Sudakov showed a lower bound on the MaxCut in terms of the vector chromatic number, recovering known results on the MaxCut of $H$-free graphs. In this note, we show that their bound is tight, providing a construction that achieves a value arbitrarily close to the optimal constant. This answers a question raised by Elphick. Our construction is a modification of the geometric graph used by Feige and Schechtman to establish the integrality gap for the Goemans--Williamson semidefinite relaxation of the MaxCut.
Tree-partitions of graphs with given pathwidth
Graphs with bounded treewidth and bounded maximum degree are known to have tree-partitions of bounded width. What can be said if the bounded treewidth assumption is strengthened to bounded pathwidth? We prove that every graph with bounded pathwidth and bounded maximum degree has a tree-partition of bounded width, with the extra property that the underlying tree has bounded pathwidth. Moreover, we prove a lower bound showing that the bound on the pathwidth of the underlying tree is within a constant factor of optimal.
Sprout Symmetric Functions: Part 1
A \emph{sprout sequence} is a sequence
$\frakr=(R_0=1,R_1,R_2,\dots)$ of symmetric functions in the
variables $\bmx=(x_1,x_2,\dots)$ over a field $K$ generated from a
power series $F(t)=1+a_1t+a_2t^2+\cdots$ by the rule $\sum_{n\geq
0}R_nt^n = \prod_{i\geq 1} F(x_it)$. The power series $F(t)$ is
called the \emph{seed} of $\frakr$. This concept originated in the
work of Littlewood and Richardson (though not with the name ``sprout
sequence''), and numerous examples of sprout sequences have appeared
in the literature. They are related to chromatic Tutte polynomials
of complete graphs and complete hypergraphs, binomial posets, upper
homogeneous (upho) posets, topological genera, etc.
We first develop the basic theory of sprout sequences and then look
at the special case $F(t)=\sec(\sqrt{t})$. We give five
characterizations of sprout sequences and consider the expansion
of sprout symmetric functions in terms of well-known symmetric
function bases. The Schur positivity, elementary symmetric function
positivity, and complete homogeneous symmetric function positivity
of $R_n$ for all $n$ are completely characterized using the
Edrei-Thoma theorem from the theory of total positivity.
The seed $F(t)=\sec(\sqrt{t})$ is especially interesting. The
expansion of $R_n$ in the power sum or monomial basis is related to
alternating permutations. The Schur function expansion is related to
standard Young skew tableaux. The expansion in terms of the complete
symmetric functions has nonnegative integer coefficients, but we
don't know a combinatorial interpretation. Finally we give a formula
for $R_n$ as a sum of chromatic symmetric functions of interval
orders.