graph
35150 papers tagged with this keyword
On Euler Paths and the Maximum Degree Growth of Iterated Higher Order Line Graphs
Given a simple graph $G$, its line graph, denoted by $L(G)$, is obtained by representing each edge of $G$ as a vertex, with two vertices in $L(G)$ adjacent whenever the corresponding edges in $G$ share a common endpoint. By applying the line graph operation repeatedly, we obtain higher order line graphs, denoted by $L^{r}(G)$. In other words, $L^{0}(G) = G$, and for any integer $r \ge 1$, $L^{r}(G) = L(L^{r-1}(G))$.
Given a graph $G$ on $n$ vertices, we wish to efficiently find out (i) if $L^k(G)$ has an Euler path, (ii) the value of $Δ(L^k(G))$. Note that the size of a higher order line graph could be much larger than that of $G$.
For the first question, we show that for a graph $G$ with $n$ vertices and $m$ edges the largest $k$ where $L^k(G)$ has an Euler path satisfies $k = \mathcal O(nm)$. We also design an $\mathcal{O}(n^2m)$-time algorithm to output all $k$ such that $L^k(G)$ has an Euler path.
For the second question, we study the growth of maximum degree of $L^k(G)$, $k \ge 0$. It is easy to calculate $Δ(L^k(G))$ when $G$ is a path, cycle or a claw. Any other connected graph is called a prolific graph and we denote the set of all prolific graphs by $\mathcal G$. We extend the works of Hartke and Higgins to show that for any prolific graph $G$, there exists a constant rational number $dgc(G)$ and an integer $k_0$ such that for all $k \ge k_0$, $Δ(L^k(G)) = dgc(G) \cdot 2^{k-4} + 2$. We show that $\{dgc(G) \mid G \in \mathcal G\}$ has first, second, third, fourth and fifth minimums, namely, $c_1 = 3$, $c_2 = 4$, $c_3 = 5.5$, $c_4 = 6$ and $c_5=7$; the third minimum stands out surprisingly from the other four. Moreover, for $i \in \{1, 2, 3, 4\}$, we provide a complete characterization of $\mathcal G_i = \{dgc(G) = c_i \mid G \in \mathcal G \}$. Apart from this, we show that the set $\{dgc(G) \mid G \in \mathcal G, 7 < dgc(G) < 8\}$ is countably infinite.
Shellability in Clique-Free Complexes of Graphs
We study combinatorial and algebraic properties of $t$-clique-free complexes, a family of simplicial complexes associated with finite simple graphs that generalize the classical independence complex. For a graph $G$ and an integer $t \ge 2$, the $t$-clique-free complex $\mathsf{CF}_t(G)$ is the simplicial complex on the vertex set of $G$ whose faces are the subsets inducing no cliques of size $t$.
Our main results provide sufficient conditions for shellability and related decomposability properties of $t$-clique-free complexes. In particular, we show that if $G$ is a $t$-diamond-free chordal graph (in particular, a block graph), then $\mathsf{CF}_t(G)$ is $(t-2)$-decomposable and hence shellable. We also investigate how graph modifications via clique attachments influence shellability. Generalizing earlier constructions involving whiskers and clique extensions, we introduce the following operation: given a graph $H$, a subset $S \subseteq V(H)$, and an integer $t \ge 2$, we form a graph $\operatorname{Cl}(H,S,t)$ by attaching to each vertex in $S$ a clique of size at least $t$. We prove that $\mathsf{CF}_t(H\setminus S)$ is shellable if and only if $\mathsf{CF}_t(\operatorname{Cl}(H,S,t))$ is shellable. This yields a flexible method for constructing shellable complexes, particularly when $S$ is a cycle cover. In addition, we extend the notion of clique whiskering and show that for any graph admitting a clique vertex-partition, the resulting $t$-clique whiskering produces a pure and shellable, and hence Cohen-Macaulay, $t$-clique-free complex.
Finally, we establish a Fröberg-type result linking chordality and linear resolutions. We show that for any chordal graph $G$, the edge ideal of the complement $t$-clique clutter $\overline{\mathcal{CH}_t(G)}$ admits a $t$-linear resolution over any field.
A characterisation of all vertex-transitive finite graphs of connectivity < 5
We characterise all vertex-transitive finite connected graphs as essentially 5-connected or on a short list of explicit graph-classes. Our proof heavily uses Tutte-type canonical decompositions.
Characterizing Large Clique Number in Tournaments
Aboulker, Aubian, Charbit, and Lopes (2023) defined the clique number of a tournament to be the minimum clique number of one of its backedge graphs. Here we show that if $T$ is a tournament of sufficiently large clique number, then $T$ contains a subtournament of large clique number from one of two simple families of tournaments. In particular, large clique number is always certified by a bounded-size set. This answers a question of Aboulker, Aubian, Charbit, and Lopes (2023), and gives new insight into a line of research initiated by Kim and Kim (2018) into unavoidable subtournaments in tournaments with large dichromatic number.
Grouped Stirling complexes
Given a graph $G$, a configuration space of $G$ can be thought of as the set of all possible configurations of "robots" which can move throughout $G$, subject to some constraints. We introduce a type of configuration space which we call Grouped Stirling complexes, denoted by $S_{\vec r}(G)$, in which we place robots in groups subject to two constraints. First, there must be at least one robot on each vertex of $G$, and second, any two robots from the same group must be "separated by at least one full open edge" of $G$. The space $S_{\vec r}(G)$ has a closed cell structure, which means it can be built out of cells of various dimensions. Our main results show $S_{\vec r}(G)$ is path-connected, provided there are at least three groups, and determine the number of cells of $S_{\vec r}(G)$ in certain cases.
Non-Additive Discrepancy: Coverage Functions in a Beck-Fiala Setting
Recent concurrent work by Dupré la Tour and Fujii and by Hollender, Manurangsi, Meka, and Suksompong [ITCS'26] introduced a generalization of classical discrepancy theory to non-additive functions, motivated by applications in fair division. As many classical techniques from discrepancy theory seem to fail in this setting, including linear algebraic methods like the Beck-Fiala Theorem [Discrete Appl. Math '81], it remains widely open whether comparable non-additive bounds can be achieved.
Towards a better understanding of non-additive discrepancy, we study coverage functions in a sparse setting comparable to the classical Beck-Fiala Theorem. Our setting generalizes the additive Beck-Fiala setting, rank functions of partition matroids, and edge coverage in graphs. More precisely, assuming each of the $n$ items covers only $t$ elements across all functions, we prove a constructive discrepancy bound that is polynomial in $t$, the number of colors $k$, and $\log n$.
List and total colorings of multiset permutation graphs
Published
• View Publication
• BIB
Let $k$ and $\ell$ be positive integers. The multiset star transposition graph ST$_k^\ell$ has as vertices the $k\ell$-strings $v_0\cdots v_{k\ell-1}$ on $k$ symbols, each symbol repeated $\ell$ times, and edges given by the transpositions $(v_0\;v_i)$ with $v_i\ne v_0$ ($0<i<k\ell$). It is shown for $k>1$ and $\ell>2$ that ST$_k^\ell$ is $(\ell-1)$-choosable and that, as a result, admits total colorings. In order to prove such assertions, the notion of efficient domination set (or E-set) of a graph is generalized for $\ell>1$ to that of an efficient dominating$\,^\ell$-set and applied to the graphs ST$_k^\ell$\,, showing they admit vertex partitions that generalize the Dejter-Serra partitions of ST$_k^1$ into E-sets, but not efficiently in the sense that the distance of each E$^\ell$-set be 3. Efficiently in such sense however, $ST^2_k$ and the related 2-set pancake permutation graph PC$^2_k$, among other intermediate permutation graphs, are shown to admit total colorings with $2k-1$ colors that determine partitions into $2k-1$ E-sets, each with distance 3.
Furthermore, associated E-chains are examined.
Metric geometry for ranking-based voting: Tools for learning electoral structure
In this paper, we develop the metric geometry of ranking statistics, proving that the two major permutation distances in the statistics literature -- Kendall tau and Spearman footrule -- extend naturally to incomplete rankings with both coordinate embeddings and graph realizations. This gives us a unifying framework that allows us to connect popular topics in computational social choice: metric preferences (and metric distortion), polarization, and proportionality.
As an important application, the metric structure enables efficient identification of blocs of voters and slates of their preferred candidates. Since the definitions work for partial ballots, we can execute the methods not only on synthetic elections, but on a suite of real-world elections. This gives us robust clustering methods that often produce an identical grouping of voters -- even though one family of methods is based on a Condorcet-consistent ranking rule while the other is not.
Hunting for Directed 2-Spiders
Hons, Klimošová, Kucheriya, Mikšaník, Tkadlec, and Tyomkyn proved that, for every integer $\ell \ge 1$, every directed graph with minimum out-degree at least $3.23 \cdot \ell$ contains a $(2,\ell)$-spider (a $1$-subdivision of the in-star with $\ell$ leaves) as a subgraph. They also conjectured that the bound on the minimum out-degree can be further improved to $2 \ell$. In this note, we confirm their conjecture by showing that every directed graph with minimum out-degree at least $2\ell$ contains a $(2, \ell)$-spider as a subgraph. This result is best possible, as the complete directed graph with $2\ell$ vertices does not contain a $(2,\ell)$-spider.
Realizable (reg, deg h)-Pairs for Cover Ideals via Independence Polynomials
Let $G$ be a finite simple graph on $n$ vertices and set $R=\Bbbk[x_1,\dots,x_n]$, with edge ideal $I(G)$ and cover ideal $J(G)$. We give an explicit description of the $h$-polynomial of $R/J(G)$, in a form that extends to the Alexander dual of any squarefree monomial ideal. We then express $\textrm{deg } h_{R/I(G)}(t)$ and $\textrm{deg } h_{R/J(G)}(t)$ in terms of the independence polynomial $P_G(x)=\sum_{i\ge 0} g_i x^i$ via an invariant $M(G)$, the multiplicity of $x=-1$ as a root of $P_G(x)$. In particular, we prove \[\textrm{deg } h_{R/I(G)}(t)=α(G)-M(G) \qquad\text{and}\qquad \textrm{deg } h_{R/J(G)}(t)=n-2-M(G), \] where $α(G)$ is the independence number of $G$. As a corollary, $M(G)$ is the additive inverse of the $\mathfrak{a}$-invariants of $R/I(G)$ and $R/J(G)$. We develop recursions and closed formulas for $M(G)$ for broad graph families, and use them to analyze which (reg, deg h)-pairs occur for cover ideals within chordal classes, including explicit constructions realizing extremal behavior. We conclude with a conjectural bound on $\left|\textrm{reg }(R/J(G))-\textrm{deg } h_{R/J(G)}(t)\right|$ for connected graphs.
The enumeration of odd spanning trees in graphs
A graph is odd if all of its vertices have odd degrees. In particular, an odd spanning tree in a connected graph is a spanning tree in which all vertices have odd degrees. In this paper we establish a unified technique to enumerate odd spanning trees of a graph $G$ in terms of a multivariable polynomial associated with $G$ and indeterminates $\{x_{i}:v_i\in V(G)\}$. As applications, the enumerative formulas for odd spanning trees in complete graphs, complete multipartite graphs, almost complete graphs, complete split graphs and Ferrers graphs are, respectively, derived from our work.
GKM Theory for Manifolds of Isospectral Matrices in Lie Type D
We study the manifold $Q_{Γ, λ}$ of isospectral real skew-symmetric matrices with a prescribed sparsity pattern determined by a graph $Γ$. The compact torus $T^n$ acts naturally on $Q_{Γ,λ}$ by conjugation, and this action can be studied using GKM theory. We prove two results about this manifold and its GKM graph. The first theorem describes how the GKM graph of $Q_{Γ, λ}$ is obtained from the GKM graph of the corresponding manifold $M_{Γ, λ}$ of isospectral Hermitian matrices. The second theorem gives a criterion for equivariant formality of $Q_{Γ, λ}$.
Nearly tight bound for rainbow clique subdivisions in properly edge-colored graphs and applications
An edge-colored graph is said to be rainbow if all its edges have distinct colors. In this paper, we study the rainbow analogue of a fundamental result of Mader [\emph{Math. Ann.} \textbf{174} (1967), 265--268] on the existence of subdivisions in graphs with large average degree. This is part of the study of rainbow analogues of classical Turán problems, a framework systematically introduced by Keevash, Mubayi, Sudakov and Verstraëte [\emph{Combin. Probab. Comput.} \textbf{16} (2007), 109--126]. We prove that every properly edge-colored graph on $n$ vertices with average degree at least $t^2(\log n)^{1+o(1)}$ contains a rainbow subdivision of $K_t$. When $t$ is a constant, this bound is tight up to the $o(1)$ term. So it essentially resolves a question raised by Jiang, Methuku and Yepremyan [\emph{European J. Combin.} \textbf{110} (2023), 103675] on rainbow clique subdivisions, and also implies a result of Alon, Bucić, Sauermann, Zakharov and Zamir [\emph{Proc. Lond. Math. Soc.} \textbf{130} (2025), e70044] on rainbow cycles. In addition, we present several applications of our result to problems in additive combinatorics, number theory and coding theory.
Boltzmann sampling and optimal exact-size sampling for directed acyclic graphs
We propose two efficient algorithms for generating uniform random directed acyclic graphs, including an asymptotically optimal exact-size sampler that performs $\frac{n^2}{2} + o(n^2)$ operations and requests to a random generator. This was achieved by extending the Boltzmann model for graphical generating functions and by using various decompositions of directed acyclic graphs. The presented samplers improve upon the state-of-the-art algorithms in terms of theoretical complexity and offer a significant speed-up in practice.
Algebraic degree of Cayley colour graphs
The splitting field of a graph $Γ$ with respect to a square matrix $M$ associated with $Γ$, is the smallest field extension over the field of rationals $\mathbb{Q}$ that contains all the eigenvalues of $M$. The degree of the extension is called the algebraic degree of $Γ$ with respect to $M$. In this paper, we completely determine the splitting field of the adjacency matrix of the Cayley colour graph $\operatorname{Cay}(G,f)$ on a finite group $G$, associated with a class function $f:G\to\mathbb{Q}$ and compute its algebraic degree, which generalize the main results of Wu et al. Moreover, we study the relation between the algebraic integrality of two Cayley colour graphs, and deduce the fact that the algebraic degree and distance algebraic degree of a normal Cayley graph are same, generalizing a result of Zhang et al.
Laplacian Pair State Transfer on Total Graphs
The total graph of a graph $G$, denoted $\mathcal{T}(G)$, is defined as the graph whose vertex set is the union of the vertex set of $G$ and the edge set of $G$ such that two vertices of $\mathcal{T}(G)$ are adjacent if the corresponding elements of $G$ are adjacent or incident. In this paper, we investigate Laplacian perfect pair state transfer and Laplacian pretty good pair state transfer on $\mathcal{T}(G)$, where $G$ is an $r$-regular graph. We prove that if $r>2$ and $r+1$ is not a Laplacian eigenvalue of $G$, then $\mathcal{T}(G)$ fails to exhibit Laplacian perfect pair state transfer. We also prove that if $G$ is a complete graph on more than three vertices, then $\mathcal{T}(G)$ fails to exhibit Laplacian perfect pair state transfer. Further, we prove that under some mild conditions, $\mathcal{T}(G)$ exhibits Laplacian pretty good pair state transfer, where $G$ is an $r$-regular graph such that $r>2$ and $r+1$ is not a Laplacian eigenvalue of $G$. We use these conditions to obtain infinitely many total graphs exhibiting Laplacian pretty good pair state transfer.
Trellis codes with a good distance profile constructed from expander graphs
Published
• View Publication
• BIB
We derive Singleton-type bounds on the free distance and column distances of trellis codes. Our results show that, at a given time instant, the maximum attainable column distance of trellis codes can exceed that of convolutional codes. Moreover, using expander graphs, we construct trellis codes over constant-size alphabets that achieve a rate-distance trade-off arbitrarily close to that of convolutional codes with a maximum distance profile. By comparison, all known constructions of convolutional codes with a maximum distance profile require working over alphabets whose size grows at least exponentially with the number of output symbols per time instant.
(Claw, C_3)-free digraphs with unbounded dichromatic number
We construct orientations of rook graphs (whose underlying graphs are claw-free) that contain no directed $C_3$ but have unbounded dichromatic number. This disproves a conjecture of Aboulker, Charbit and Naserasr and improves a result of Carbonero, Koerts, Moore and Spirkl.
Homomorphism counting for immersion-closed classes is not isomorphism
Lovász proved that two graphs $G$ and $H$ are isomorphic if $\hom(K,G) = \hom(K,H)$ for all graphs $K$, where $\hom(G_1,G_2)$ denotes the number of homomorphisms from $G_1$ to $G_2$. Dvořák showed that it suffices to count homomorphisms from all $2$-degenerate graphs $K$. On the other hand, for several interesting graph classes $\mathcal{M}$, it has been shown that there exist non-isomorphic graphs $G$ and $H$ such that $\hom(K,G)=\hom(K,H)$ for all $K\in \mathcal{M}$. Most such classes are minor-closed classes and Roberson conjectured that every proper minor-closed and union-closed graph class $\mathcal{M}$ has the property of there existing non-isomorphic graphs that are indistinguishable by homomorphism counts from $\mathcal{M}$. There has been an effort to prove Roberson's conjecture as it is believed that minor-closed classes play a special role in the context of homomorphism indistinguishability.
We show that this special role, if so, must be shared, by proving an analogue of Roberson's conjecture holds for a rich family of non-minor-closed classes. Namely, we prove that for any proper immersion-closed and union-closed class $\mathcal{M}$, there exist non-isomorphic graphs $G$ and $H$ such that $\hom(K,G) = \hom(K,H)$ for all $K \in \mathcal{M}$.
This extends a result of Roberson on homomorphism indistinguishability over bounded degree graphs, and gives an almost full picture since our result cannot be extended in the natural way, that is, by replacing immersions with topological minors, due to a result of Neuen and Seppelt.
Total Roman bondage number of a graph
A total Roman dominating function (TRDF) on a graph $G$ with no isolated vertices is a function $f:V(G)\to\{0,1,2\}$ such that every vertex $v$ with $f(v)=0$ has a neighbor assigned $2$, and the subgraph induced by $\{v:f(v)>0\}$ has no isolated vertices. The total Roman domination number $γ_{tR}(G)$ is the minimum weight of a TRDF on $G$. The total Roman bondage number $b_{tR}(G)$ is the minimum cardinality of an edge set $E'\subseteq E(G)$ such that $G-E'$ has no isolated vertices and $γ_{tR}(G-E')>γ_{tR}(G)$; if no such $E'$ exists, $b_{tR}(G)=\infty$.
We prove that deciding whether $b_{tR}(G)\leq k$ is NP-complete for arbitrary graphs. We establish sharp bounds, including $γ_{tR}(G)+1\leq γ_{tR}(G-B)\leq γ_{tR}(G)+2$ for any $b_{tR}(G)$-set $B$ (both sharp), and $b_{tR}(G)\geq \max\{δ(G),b(G)\}$ when $γ_{tR}(G)=3β(G)$. We characterize graphs with $b_{tR}(G)=\infty$ and provide a necessary and sufficient condition for $b_{tR}(G)=1$. Exact values are determined for complete graphs, complete bipartite graphs, brooms, double brooms, wheels and wounded spiders.
Further upper bounds are given in terms of order, diameter, girth, and structural features.