graph
35150 papers tagged with this keyword
Generalized Jacobians of graphs
Published
• View Publication
• BIB
We define a generalized Jacobian $\mathrm{J}_\mathfrak{m}(\mathit{Gr})$ and a generalized Picard group $\mathrm{P}_\mathfrak{m}(\mathit{Gr})$ of a graph $\mathit{Gr}$ with respect to a modulus $ \mathfrak{m}=\sum_{i=1}^s m_iw_i$ with $w_i$ vertices of $\mathit{Gr}$ and $m_i\geq 1$. These groups occur as the component groups of Néron models of generalized Jacobians. We prove a universal mapping property for $\mathrm{J}_\mathfrak{m}(\mathit{Gr})$ and show that an Abel-Jacobi map in this context induces an isomorphism from $\mathrm{P}_\frak{m}(\mathit{Gr})$ to $\mathrm{J}_\mathfrak{m}(\mathit{Gr})$. We also reinterpret $\mathrm{P}_\mathfrak{m}(\mathit{Gr})$ in terms of sheaves on the geometric realization $\left| \mathit{Gr}\right|$ of $\mathit{Gr}$, making a connection with tropical geometry.
Chen-Chvátal Conjecture for Graphs of Diameter 3
In 2008, Chen and Chvátal conjectured that in every finite metric space of $n$ points, there are at least $n$ distinct lines, or the whole set of points is a line. This is a generalization of a classical result in the Euclidean plane. The Chen-Chvátal conjecture is open even in metric spaces induced by connected graphs. In 2018, it was asked by Chvátal whether graphs of diameter three satisfy the conjecture. In this work, we find all graphs of diameter three having fewer lines than vertices. As a direct consequence, we prove that graphs of diameter three satisfy the Chen-Chvátal conjecture.
Squares of subcubic planar graphs without cycles of length 4-8 are 6-choosable
Published
• View Publication
• BIB
The {\em square} of a graph $G$, denoted $G^2$, has the same vertex set as $G$ and an edge between any two vertices at distance at most $2$ in $G$. Wegner (1977) conjectured that for a planar graph $G$, $χ(G^2) \leq 7$ if $Δ(G) = 3$, $χ(G^2) \leq Δ(G)+5$ if $4 \leq Δ(G) \leq 7$, and $χ(G^2) \leq \lfloor 3Δ(G)/2 \rfloor$ if $Δ(G) \geq 8$, and Thomassen (2018) confirmed the conjecture for $Δ(G) = 3$. Dvořák et al. (2008) and Feder et al. (2021) further conjectured that $χ(G^2) \leq 6$ for cubic bipartite planar graphs. A natural question is whether this bound also holds for the list-chromatic number, i.e., whether $χ_{\ell}(G^2) \leq 6$ for such graphs. More generally, it is of interest to determine sufficient conditions ensuring $χ_{\ell}(G^2) \leq 6$ for subcubic planar graphs. In this paper, we prove that $χ_{\ell}(G^2) \leq 6$ for subcubic planar graphs containing no $k$-cycles for $4 \leq k \leq 8$, improving a result of Cranston and Kim (2008).
Bell coloring graphs: realizability and reconstruction
Given a graph $G$, the Bell $k$-coloring graph $\mathcal{B}_k(G)$ has vertices given by partitions of $V(G)$ into $k$ independent sets (allowing empty parts), with two partitions adjacent if they differ only in the placement of a single vertex. We first give a structural classification of cliques in Bell coloring graphs. We then show that all trees and all cycles arise as Bell coloring graphs, while $K_4-e$ is not a Bell coloring graph and, more generally, $K_n-e$ is not an induced subgraph of any Bell coloring graph whenever $n \geq 6$. We also prove two reconstruction results: the Bell $3$-coloring graph is a complete invariant for trees, and the Bell $n$-coloring multigraph determines any graph up to universal vertices.
Andr{á}sfai--Erdős--Sós theorem under max-degree constraints
We establish the following strengthening of the celebrated Andr{á}sfai--Erdős--Sós theorem: If $G$ is an $n$-vertex $K_{r+1}$-free graph whose minimum degree $δ(G)$ and maximum degree $Δ(G)$ satisfy
\begin{align*}
δ(G) > \min \left\{ \frac{3r-4}{3r-2}n-\frac{Δ(G)}{3r-2},~n-\frac{Δ(G)+1}{r-1} \right\},
\end{align*}
then $G$ is $r$-partite. This bound is tight for all feasible values of $Δ(G)$. We also obtain an analogous tight result for graphs with large odd girth.
Our proof does not rely on the Andr{á}sfai--Erdős--Sós theorem itself, and therefore yields an alternative proof of this classical result.
Spectral bounds for vertex-weighted Laplacians of simplicial complexes
The vertex-weighted Laplacian naturally extends the combinatorial Laplacian for simplicial complexes. Inspired by Lew's foundational techniques for vertex-weighted Laplacians, we present a comprehensive spectral analysis of this operator. First, we determine how basic operations, including joins, complements, and Alexander duals, affect its spectrum. This yields a sharp upper bound on the spectral radius in terms of vertex weights, along with a lower bound on the multiplicity at which this bound is attained. Second, we establish a sharp lower bound for the spectral gap and characterize when the equality holds. Third, explicit lower bounds for the remaining eigenvalues are derived, linking the vertex-weighted Laplacian spectrum to that of a related weighted graph. Finally, we reveal new spectral relations between a simplicial complex and its subcomplexes. These results not only generalize numerous known theorems on combinatorial Laplacians but also provide deeper spectral insights into simplicial structures, ultimately unifying and extending a broad range of earlier work in this field.
Fano and Reflexive Polytopes from Feynman Integrals
Published
• View Publication
• BIB
We classify the Fano and reflexive polytopes that arise from quasi-finite Feynman integrals. These polytopes appear as scaled Minkowski sums of the Newton polytopes associated with the Symanzik graph polynomials. For one-loop graphs and multiloop sunset graphs, we identify the Fano and reflexive cases by computing the number of interior points from the associated bivariate Ehrhart polynomials. More generally, we utilize the properties of Symanzik polynomials and their symmetries to conduct a direct search over all Feynman graphs in generic kinematics with up to ten edges and nine loops. We find that such cases are remarkably sparse: for example, we find only two two-dimensional reflexive polytopes, three three-dimensional reflexive polytopes, and four three-dimensional Fano polytopes. We also reveal a surprising feature of one-loop $N$-gon integrals in higher dimensions: their associated reflexive polytopes encode degenerate Calabi--Yau $(N-2)$-folds. We further analyze the geometric structures encoded by these polytopes and exhibit explicit connections with del Pezzo surfaces, $K3$ surfaces, and Calabi--Yau threefolds. Since reflexive polytopes naturally correspond to Calabi--Yau varieties, our classification demonstrates that quasi-finite Feynman integrals, with reflexive polytopes, are intrinsically linked to Calabi--Yau period integrals.
On Neutral Edge Sets in Anti-Ramsey Numbers
The anti-Ramsey number of a graph $G$, introduced by Erdős et al.\ in 1975, is the maximum number of colors in an edge-coloring of the complete graph $K_n$ that avoids a rainbow copy of $G$. We call a subset of edges of $G$ \emph{neutral} for the anti-Ramsey number if removing them does not alter the anti-Ramsey number of $G$. Let $k$, $t$, and $n$ be positive integers, and consider $G = kP_4 \cup tP_2$. Assume $S \subseteq E(G)$ consists of internal edges of the $P_4$ components in $G$. It is known that $S$ is neutral when $t \geq k+1 \geq 2$ and $n \geq 8k + 2t - 4$. In this paper, we identify values of $k \geq t$ such that, for all $n$ in a specific subinterval of $[8k + 2t - 4, \infty)$, $S$ remains neutral. Since the anti-Ramsey numbers for matchings are well understood, our results provide a complete determination of the anti-Ramsey number for $G$ under these conditions. Based on our findings, we conjecture that this neutrality may extend to the general case $t \geq 1$, $k \geq 1$, and $n \geq 4k + 2t$, but not when $t = 0$, $k \geq 2$, and $n \geq 4k$.
Vertex-distinguishing edge coloring of graphs
Let $k \ge 1$ be an integer and let $G$ be a nonempty simple graph. An \emph{edge-$k$-coloring} $\varphi$ of $G$ is an assignment of colors from $\{1,\ldots,k\}$ to the edges of $G$ such that no two adjacent edges receive the same color. For a vertex $v \in V(G)$, we write $\varphi(v)$ for the set of colors assigned to the edges incident with $v$. The coloring $\varphi$ is called \emph{vertex-distinguishing} if $\varphi(u) \ne \varphi(v)$ for every pair of distinct vertices $u,v \in V(G)$. A vertex-distinguishing edge-$k$-coloring exists if and only if $G$ has at most one isolated vertex and no isolated edge. The least integer $k$ for which such a coloring exists is called the \emph{vertex-distinguishing chromatic index} of $G$, denoted $χ'_{vd}(G)$. In 1997, Burris and Schelp conjectured that for every graph $G$ with at most one isolated vertex and no isolated edge, $ k(G) \;\le\; χ'_{vd}(G) \;\le\; k(G)+1$, where $k(G)$ is the natural lower bound required for a vertex-distinguishing coloring in $G$. In 2004, Balister, Kostochka, Li, and Schelp verified the conjecture for graphs $G$ satisfying $Δ(G) \ge \sqrt{2|V(G)|} + 4 $ and $δ(G) \ge 5$. For graphs that do not satisfy these conditions, the best known general upper bound on $χ'_{vd}(G)$ remains $|V(G)| + 1$, established in 1999 by Bazgan, Harkat-Benhamdine, Li, and Woźniak. In this paper, we prove that $χ'_{vd}(G) \le \floor{5.5k(G)+6.5}$, which represents a substantial improvement over the bound $|V(G)| + 1$ whenever $k(G) = o(|V(G)|)$. We further show that $χ'_{vd}(G) \le k(G) + 3$, for all $d$-regular graphs $G$ with $d \ge \log_2 |V(G)|\geq 8$.
Concerning FAT Colorings of Graphs
Let $G$ be a graph and let $C$ be a color set of cardinality $k$. Suppose $c \colon V(G) \to C$ is a (not necessarily proper) vertex coloring whose all color classes are $V_1$, $V_2$, $\dots$, $V_k$, each of which is nonempty. The vertex coloring $c$ is said to be a {\it FAT $k$-coloring of $G$} if there exist real numbers $α$ and $β$, both in $[0,1]$, such that for every vertex $v\in V(G)$ and every color class $V_i$ the following equalities hold: $$ \bigl| V_i \cap N(v) \bigr| = \begin{cases}
α°(v) & \mbox{ if } \ \ v \notin V_i
β°(v) & \mbox{ if } \ \ v \in V_i . \end{cases} $$ Let $k > 1$ be a fixed integer, and let $α\in \left[ 0 , \frac{1}{k-1} \right) \cap \mathbb{Q}$ and $β\in [ 0 , 1 ] \cap \mathbb{Q}$ be some fixed rational numbers satisfying $ β+ (k-1) α= 1 $. It was asked for the existence of a graph $G$ with $δ(G) > 0$ admitting some FAT $k$-coloring with the corresponding parameters $α$ and $β$. This paper settles the question in the affirmative. We explicitly construct a sequence $\displaystyle\left\{G_n\right\}_{n=1}^{\infty}$ of pairwise non-homomorphically equivalent graphs, each being a regular graph of positive degree, admitting a FAT $k$-coloring with the corresponding parameters $α$ and $β$.
The existence of even factors based on the $A_α$-spectral radius of graphs
Published
• View Publication
• BIB
An even factor of $G$ is a spanning subgraph $F$ such that every vertex in $F$ has a nonzero even degree. Note that $δ(G)\geq2$ is a trivial necessary condition for a graph to have an even factor, where $δ(G)$ is the minimum degree of $G$. In this paper, for a connected graph $G$ with minimum degree $δ$, we establish a lower bound on the $A_α$-spectral radius of $G$ such that $G$ contains an even factor.
Neighborhood Complexes of induced $k$-independent graphs
This paper is devoted to the neighborhood complexes of the induced $k$-independent graphs. Inspired by the surprising correspondence between total $k$-cut complex of $n$-cycle $C_n$ and neighborhood complex of stable Kneser graph $SG(n,k)$, we anticipate that the homotopy type of total cut complexes may have some relationships with the neighborhood complexes of induced $k$-independent graphs. We investigated the homotopy type of some total cut complexes and neighborhood complexes of some other graphs, using techniques from algebraic topology and discrete Morse theory.
The non-existence of some Moore polygons and spectral Moore bounds
In this paper, we study the maximum order $v(k,θ)$ of a connected $k$-regular graph whose second largest eigenvalue is at most $θ$. From Alon-Boppana and Serre, we know that $v(k,θ)$ is finite when $θ< 2\sqrt{k-1}$ while the work of Marcus, Spielman, and Srivastava implies that $v(k,θ)$ is infinite if $θ\geq 2\sqrt{k-1}$. Cioabă, Koolen, Nozaki, and Vermette obtained a general upper bound on $v(k, θ)$ via Nozaki's linear programming bound and determined many values of $v(k,θ)$. The graphs attaining this bound are distance-regular and are called Moore polygons. Damerell and Georgiacodis proved that there are no Moore polygons of diameter $6$ or more. For smaller diameters, there are infinitely many Moore polygons.
We complement these results by proving two nonexistence results for Moore polygons with specific parameters. We also determine new values of $v(k,θ)$: $v(4, \sqrt{2}) = 14$ and $v(5, \sqrt{2}) = v(5,\sqrt{5}-1)=16$. The former is achieved by the co-Heawood graph, and the latter by the folded $5$-cube. We verify that any connected $5$-regular graph with second eigenvalue $λ_2$ exceeding $1$ satisfies $λ_2 \geq \sqrt{5} - 1$, and that the unique $5$-regular graph attaining equality in this bound has $10$ vertices. We prove a stronger form of a 2015 conjecture of Kolokolnikov related to the second eigenvalue of cubic graphs of given order, and observe that other recent results on the second eigenvalue of regular graphs are consequences of the general upper bound theorem on $v(k,θ)$ mentioned above.
Anti-Ramsey Number of Stars in 3-uniform hypergraphs
An edge-colored hypergraph is called \emph{a rainbow hypergraph} if all the colors on its edges are distinct. Given two positive integers $n,r$ and an $r$-uniform hypergraph $\mathcal{G}$, the anti-Ramsey number $ar_r(n,\mathcal{G})$ is defined to be the minimum number of colors $t$ such that there exists a rainbow copy of $\mathcal{G}$ in any exactly $t$-edge-coloring of the complete $r$-uniform hypergraph of order $n$. Let $ \mathcal{F}_k $ denote the 3-graph ($k$-star) consisting of $k$ edges sharing exactly one vertex. Tang, Li and Yan \cite{YTG} determined the value of $ar_3(n,\mathcal{F}_3)$ when $n\geq 20$. In this paper, we determine the anti-Ramsey number $ar_3(n,\mathcal{F}_{k+1})$, where $k\geq 3$ and $n> \frac{5}{2}k^3+\frac{15}{2}k^2+26k-3$.
Multiplicity Bounds for Arbitrary Eigenvalues of Connected Signed Graphs
The study of eigenvalue multiplicities plays a central role in the spectral theory of signed graphs, extending several classical results from the unsigned setting. While most existing work focuses on the nullity of a signed graph (the multiplicity of the eigenvalue $0$), much less is known for arbitrary eigenvalues. In this paper, we establish a sharp upper bound for the multiplicity $m(G_σ, λ)$ of any real eigenvalue $λ$ of a connected signed graph $G_σ$ in terms of its girth. Our main result shows that \[ m(G_σ, λ) \le n - g(G_σ) + 2, \] where $n$ is the number of vertices and $g(G_σ)$ is the girth. We prove that equality holds if and only if $G_σ$ is switching equivalent to one of the following extremal families: \begin{itemize}
\item[(i)] a balanced complete graph with $λ= -1$;
\item[(ii)] an antibalanced complete graph with $λ= 1$; or
\item[(iii)] a balanced complete bipartite graph with $λ= 0$. \end{itemize} This fully extends and generalizes the known result for the nullity case ($λ= 0$), originally due to Wu et al.\ (2022), to the entire eigenvalue spectrum. Our approach combines Cauchy interlacing, switching equivalence, and a structural analysis of induced cycles in signed graphs. We also provide a characterization of eigenvalues with multiplicity $1$ and $2$ for signed cycles, and include examples illustrating the sharpness and spectral behavior of the extremal families.
Colouring Graphs Without a Subdivided H-Graph: A Full Complexity Classification
We consider Colouring on graphs that are $H$-subgraph-free for some fixed graph $H$, i.e., graphs that do not contain $H$ as a subgraph. It is known that even $3$-Colouring is NP-complete for $H$-subgraph-free graphs whenever $H$ has a cycle; or a vertex of degree at least $5$; or a component with two vertices of degree $4$, while Colouring is polynomial-time solvable for $H$-subgraph-free graphs if $H$ is a forest of maximum degree at most $3$, in which each component has at most one vertex of degree $3$. For connected graphs $H$, this means that it remains to consider when $H$ is tree of maximum degree $4$ with exactly one vertex of degree $4$, or a tree of maximum degree $3$ with at least two vertices of degree $3$. We let $H$ be a so-called subdivided "H"-graph, which is either a subdivided $\mathbb{H}_0$: a tree of maximum degree $4$ with exactly one vertex of degree $4$ and no vertices of degree $3$, or a subdivided $\mathbb{H}_1$: a tree of maximum degree $3$ with exactly two vertices of degree $3$. In the literature, only a limited number of polynomial-time and NP-completeness results for these cases are known. We develop new polynomial-time techniques that allow us to determine the complexity of Colouring on $H$-subgraph-free graphs for all the remaining subdivided "H"-graphs, so we fully classify both cases. As a consequence, the complexity of Colouring on $H$-subgraph-free graphs has now been settled for all connected graphs $H$ except when $H$ is a tree of maximum degree $4$ with exactly one vertex of degree $4$ and at least one vertex of degree $3$; or a tree of maximum degree $3$ with at least three vertices of degree $3$. We also employ our new techniques to obtain the same new polynomial-time results for another classic graph problem, namely Stable Cut.
The strength of weak coupling
A paradoxical idea in quantum transport is that attaching weakly-coupled edges to a large base graph creates high-fidelity quantum state transfer. We provide a mathematical treatment that rigorously prove this folklore idea. Our proofs are elementary and build upon the Feshbach-Schur method from perturbation theory. We also show the idea is effective in circumventing Anderson localization in spin chains and finding speedups in hitting times useful for quantum search.
Classification of wormhole singularities
We classify all wormhole singularities, i.e. cyclic quotient surface singularities admitting at least two extremal P-resolutions, thereby solving an open problem posed by Urzúa. Our approach introduces a new combinatorial framework based on what we call the coherent graph of a framed triangulated polygon. As an application, we give an alternative proof of the Hacking-Tevelev-Urzúa theorem on the maximum number of extremal P-resolutions of a cyclic quotient singularity.
On the Number of Posets
This paper presents combinatorial facts dealing with the number of unlabeled partially ordered sets (posets) refined by the number of arcs in the Hasse diagram (sequence A342447 in OEIS). The main result is that the differences with respect to the number of points in this sequence become stationary if the number of points is sufficiently high. These differences are proposed as the new sequence A376894. In addition, the underlying combinatorial and graph theoretical arguments were used to extend some further OEIS sequences.
Clasped web bases from hourglass plabic graphs
G.-Pechenik-Pfannerer-Striker-Swanson applied hourglass plabic graphs to construct web bases for spaces of tensor invariants of fundamental representations of $U_q(\mathfrak{sl}_4)$, extending Kuperberg's celebrated basis for $U_q(\mathfrak{sl}_3)$. We give several combinatorial characterizations of basis webs in the kernel of the projection to invariants in a tensor product of arbitrary (type $1$) irreducibles. We apply this to show that the nonzero images of basis webs form a basis (a property shared with Lusztig's dual canonical basis) yielding distinguished clasped web bases for each such tensor product.