graph
34516 papers tagged with this keyword
Up-down chains and scaling limits: application to permuton- and graphon-valued diffusions
An up-down chain is a Markov chain in which each transition is a two-step process that moves up to a larger object and then back down to an object of the original size. The first goal of this paper is to present a general framework for analyzing these chains and computing their scaling limits. This approach unifies much of the existing literature while extending it in several directions. These include explicit conditions for constructing integrable up-down chains and convergence results for families of intertwined processes. The latter contribute to the method of intertwiners of Borodin and Olshanski.
The second goal is to highlight a notable application of this framework to the settings of permutations and graphs. Here, we identify some integrable up-down chains and construct their scaling limits, a family of permuton- and graphon-valued Feller diffusions. Both the up-down chains and the limiting diffusions exhibit ergodicity, diagonalizable semigroups, and explicit expressions for the maximal separation distance to stationarity. For the diffusions, the stationary measures are the recursive separable permutons and recursive cographons recently introduced by the authors, and the separation distances turn out to be related to the Dedekind eta function.
Disproof of the Odd Hadwiger Conjecture
We prove that there exist graphs which do not contain $K_t$ as an odd minor and whose chromatic number is at least $(\frac 32-o(1))t$. This disproves, in a strong form, the odd Hadwiger conjecture of Gerards and Seymour from 1993.
Sign-reversing involutions in moduli spaces of curves
We use sign-reversing involutions to solve two computational problems that arise naturally in the geometry of moduli spaces of curves. In particular, we give an explicit combinatorial formula for arbitrary $ψ$ class intersection products on the genus zero multicolored spaces $\overline{M}_{0,[r_1,\ldots,r_m]}$ using a novel sign reversing involution on decorated diagrams. As an application, we give a necessary and sufficient condition for when these intersection products are nonzero in terms of matchings on graphs.
We also calculate the analog of the tropical Euler characteristic for the graphical moduli spaces $\overline{M}_{0,Γ}$ for graphs with two dominant vertices $P, Q$, by constructing two new sign-reversing involutions to simplify the sum. We show that (up to sign) it is the number of acyclic orientations of $Γ\smallsetminus \{P, Q\}$.
On Link-irregular Digraphs
We extend the study of link-irregular graphs to directed graphs (digraphs), where a digraph is link-irregular if no two vertices have isomorphic directed links. We establish that link-irregular digraphs exist on $n$ vertices if and only if $n \geq 5$, and prove that their underlying graphs must contain 3-cycles. We conjecture that link-irregular tournaments exist if and only if $n \geq 6$, providing explicit constructions for $n \leq 8$ and computational verification for $n \leq 100$. We derive lower bounds on the minimum degree and outdegree required for link-irregularity, establish that almost all link-irregular digraphs are nonplanar, and prove that any link-irregular orientable graph admits a link-irregular labeling. Additionally, we construct explicit examples of link-irregular digraphs with constant outdegree and regular tournaments.
Framing Lattices and Flow Polytopes
Flow polytopes of acyclic oriented graphs arise naturally in combinatorial optimization, and the study of their volumes and triangulations has revealed intriguing connections across combinatorics, geometry, algebra, and representation theory. In this work, we introduce the framing lattice associated with a framed graph, whose Hasse diagram is dual to a framed triangulation of the corresponding flow polytope. Framing lattices are remarkable in that they provide a unifying framework encompassing many classical and well-studied lattice structures, including the Boolean lattice, the Tamari lattice, and the weak order on permutations. They further subsume a broad array of examples such as all type-A Cambrian lattices, the Grassmann and grid-Tamari lattices, the alt-$ν$-Tamari and cross-Tamari lattices, the permutree lattices, and the $τ$-tilting posets of certain gentle algebras. We show, among several foundational structural properties, that the framing lattice is a semidistributive, congruence uniform, and polygonal lattice, with its polygons consisting of squares, pentagons, and hexagons. We study its connections to noncrossing partitions via Reading's core label orders, simple representations of its join and meet irreducible elements, and several of its lattice congruences and quotients induced by a graph operation called an M-move.
On $\ell_1$ embeddings of finite metric spaces, and sphere-of-influence graphs
We introduce the {\em pair-cut cone $PCUT_n$} of metrics on sets with $n\ge 3$ elements, that correspond to linear combinations with non-negative coefficients of the cut-metrics resulting from cuts that are pairs. Given a metric, we fully characterize membership in the pair-cut cone in terms of quantities computed from the metric directly. We also prove a new result by which a metric $d$ that satisfies a system of inequalities, lies in the (full) cut cone of metrics, making it $\ell_1$-embeddable into Euclidean space.
We give applications of our results to the $\ell_1$-embeddability of simple graphs into Euclidean space as {\em sphere-of-influence graphs}. We exhibit an example of a simple graph that admits no such $\ell_1$-metric in the pair-cut cone.
Locally interval graphs are circular-arc graphs
Circular-arc graphs are graphs that can be represented as intersection graphs of subpaths of a cycle. Interval graphs are graphs that can be represented as intersection graphs of subpaths of a path. Since cycles are locally paths, every circular-arc graph is locally interval. In this paper, we prove that the converse holds as well: every locally interval graph is a circular-arc graph. This result and its proofs are connected to a recent broader study of structural local-global theory and build on previous work on locally chordal graphs.
The global structure of locally chordal graphs
A graph is locally chordal if each of its small-radius balls is chordal. In an earlier work [AKK25], the authors and Kobler proved that locally chordal graphs can be characterized by having chordal local covers, by forbidding short cycles and wheels as induced subgraphs, and by the property that each of their minimal local separators is a clique. In this paper, we address the global structure of locally chordal graphs. The global structure of chordal graphs is given by the following characterizations: a graph is chordal if and only if it is the intersection graph of subtrees of a tree, if and only if it admits a tree-decomposition into cliques. We prove a local analog of this characterization, which essentially says that a graph is locally chordal if and only if it is the intersection graph of special subtrees of a high-girth graph, if and only if it admits a special graph-decomposition over a high-girth graph into cliques. We also prove that these global representations of locally chordal graphs can be efficiently computed.
This paper has two major contributions. The first is to exhibit for locally chordal graphs an ideal "local to global" analysis: given a graph class defined by restricted local structure, we fully describe the global structure of graphs in the class. The second is to develop the theory of graph-decompositions. Much of the work in this paper is devoted to properties of graph-decompositions that represent the global structure of graphs. This theory will be useful to find global decompositions for graph classes beyond locally chordal graphs.
Chromatic numbers for contact graphs of congruent cuboids
We initiate the study of chromatic numbers for contact graphs of configurations of integer-sized cuboids in three dimensions, all of which are mutually congruent. Disallowing rotations, we show a global upper bound of 8 for the chromatic numbers, which implies that there is a global upper bound of 48 when the cuboids may be rotated freely. Specializing further to cuboids that are required to have a side length of one we obtain more precise upper bounds.
Such upper bounds are compared to examples of configurations having relatively large chromatic numbers, leading to a complete determination of some of these chromatic numbers, but in general, the gaps between our upper and lower bounds are rather wide. In particular, we know of no such configuration of any size leading to a chromatic number above 6.
3-path-connectivity of Cayley graphs generated by wheel graphs
Let $G = (V(G), E(G))$ be a simple connected graph and $Ω$ a subset of $ V(G)$ with $|Ω|\geq2$. An $Ω$-path in $G$ is a path that connects all vertices of $Ω$. Two $Ω$-paths $P_i$ and $P_j$ are said to be internally disjoint if $V(P_i)\cap V(P_j)=Ω$ and $E(P_i)\cap E(P_j)=\emptyset$. Denote $π_G(Ω)$ by the maximum number of internally disjoint $Ω$-paths in $G$. For an integer $k\geq2$, the $k$-path-connectivity $π_k(G)$ of $G$ is defined as $\min\{π_G(Ω)\midΩ\subseteq V(G)$ and $|Ω|=k\}$. Let $CW_n$ denote the Cayley graph generated by the $n$-vertex wheel graph. In this paper, we investigate the $3$-path-connectivity of $CW_n$ and prove that $π_3(CW_n)=\lfloor\frac{6n-9}4\rfloor$ for all $n\geq4$.
The number of rooted spanning forests of bicirculant graphs
A bi-Cayley graph over the cyclic group $(\mathbb{Z}_n, +)$ is called a bicirculant graph. Let $Γ=BC(\mathbb{Z}_n; R,T,S)$ be a bicirculant graph with $R=-R\subseteq \mathbb{Z}_n\setminus \{0\}$ and $T={-}T\subseteq \mathbb{Z}_n\setminus \{0\}$ and $S\subseteq \mathbb{Z}_n$. In this paper, using Chebyshev polynomials, we obtain a closed formula for the number of rooted spanning forests of $Γ$. Moreover, we investigate some arithmetic properties of the number of rooted spanning forests of $Γ$, and find its asymptotic behaviour as $n$ tends infinity.
Open XOR-magic odd graphs and closed XOR-magic even graphs
XOR-magic graph labelings form a special subclass of group distance magic labelings. A simple connected graph of order $2^n$ is called an open (respectively, closed) XOR-magic graph of power $n$ if its vertices can be labeled bijectively with vectors from $(\mathbb{Z}_2)^n$ such that the sum (over $(\mathbb{Z}_2)^n$) of labels in each open (respectively, closed) neighborhood of every vertex is equal to the zero vector. In one paper, Batal asked whether there exists any odd-regular open XOR-magic graph or any even-regular closed XOR-magic graph. In this paper, with partial help of MILP solver, we answer this question in the affirmative. More precisely, we prove that for every integer $n>3$, there exists an odd-regular open XOR-magic graph of power $n$ and an even-regular closed XOR-magic graph of power $n$. We also show some applications of the spectra of graphs for an open XOR-magic labeling.
On induced subgraphs with degree parity conditions in Paley graphs and Paley tournaments
In this paper, we investigate the number of induced subgraphs and subdigraphs of Paley graphs and Paley tournaments where the (out-)degree of each vertex has the same parity. For Paley graphs, we establish a lower bound for the number of large even induced subgraphs, particularly those containing a constant proportion of vertices. We determine the number of even-even partitions of Paley graphs, showing it is exponential if $q\equiv 1\Mod{8}$ and is trivial if $q\equiv 5\Mod{8}$, while proving the non-existence of even-even partition for Paley tournaments. Furthermore, we derive asymptotic formulas for the numbers of even induced sub(di)graphs of order $r=o(q^{1/4})$ in Paley graphs and Paley tournaments, demonstrating their concentration around the expected values in the corresponding random (di)graph models.
In the context of coding theory, we establish a correspondence between even/odd induced sub(di)graphs of Paley graphs (tournaments) and maximum distance separable (MDS) self-dual codes that can be constructed via (extended) generalized Reed-Solomon codes from subsets of finite fields. As a consequence, our contribution on induced subgraphs leads to new existence and counting results about MDS self-dual codes.
On the number of maximal independent sets and maximal induced bipartite subgraphs in $K_4$-free graphs
Let $G$ be a $K_4$-free graph of order $n$ and let $k$ be an integer with $0\leq k\leq n$. We show the existence of positive constants $η$ and $ν$ such that $G$ has at most $(4-η)^{(5-η)k-n}(5-η)^{n-(4-η)k}$ maximal independent sets of order $k$ and at most $O\left((12-ν)^{\frac{n}{4}}\right)$ maximal induced bipartite subgraphs.
A survey of edge-spectral-Turán type problems in spectral graph theory: Results, conjectures and open problems
The edge-spectral-Turán type problem is also called the Brualdi-Hoffman-Turán type problem, which is a central topic in spectral graph theory, seeking to determine the maximum spectral radius $λ(G)$ of an $F$-free graph $G$ with $m$ edges. This problem has attracted significant attention in recent years. In this paper, we will sort out several closely related results in this type of problem and then propose some conjectures for further research.
On Spectral Properties of Lanzhou Matrix of Graphs
Let $Γ$ be a simple graph on $n$ vertices. Lanzhou index is defined as $Lz(Γ)=\sum\limits_{u \in V(Γ)}d_Γ(u)^2d_{\overlineΓ}(u).$ In this manuscript, the Lanzhou matrix, denoted by $A_{Lz}(Γ)$, has been defined, and its spectral properties are studied. The $uv^{th}$ entry in $A_{Lz}(Γ)$ is $d_Γ(u)d_{\overlineΓ}(u)+d_Γ(v)d_{\overlineΓ}(v)$ if $u$ and $v$ are adjacent. Otherwise, the entry is zero. Some bounds on Lanzhou energy and spread on the Lanzhou matrix are obtained. Also, Lanzhou eigenvalues and inertia for some standard graphs have been obtained. Additionally, characterizations for the symmetricity of Lanzhou eigenvalues about the origin are obtained.
Pattern Avoiding Permutations as Walks
The Stanley-Wilf limit of the pattern 1324 is known to lie between 10.271 and 13.5. We obtain lower bounds on this limit by encoding permutations as walks in directed graphs: building a permutation by successive insertion of maxima corresponds to traversing edges, and the growth rate of walks equals the spectral radius of the adjacency matrix. For 1324, this graph is too large for direct computation, so we pass to a quotient graph with weighted edges. Conditional on a natural conjecture, this yields a lower bound of 10.418.
Chromatic Polynomial Evaluation Spectra
Around 10 years ago, Agol and Krushkal showed that the number of chromatic polynomials $P_{G}$ arising from graphs $G$ on $n$ vertices grows exponentially with $n$, by establishing that the (dual) flow polynomial $F_{G}\left(\frac{3+\sqrt{5}}{2}\right)$ already takes on exponentially many values, if one varies $G$ over all planar cubic graphs $G$ on $n$ vertices. We show, more generally, that the size of the set $\{P_G(q): |V(G)|=n\}$ is exponential in $n$, for every fixed real number $q \neq 0,1,2$. In fact, our approach can also be pushed to show that $P_{G}(q)$ already takes on exponentially many values, if we only vary $G$ over all planar graphs on $n$ vertices. The case $q=3$ confirms a conjecture of Agol, which was initially motivated by the $\mathsf{NP}$-completeness of planar $3$-colorability.
Graph Sensitivity under Join and Decomposition
The sensitivity, $σ(G)$, of a finite undirected simple graph $G$ is the smallest maximum degree of an induced subgraph on more than the maximum number of independent vertices. Call an indexed family of graphs $G_n$ with maximum degree $Δ(G_n) \to \infty$ as $n \to \infty$ sensitive if $σ(G_n) \to \infty$, and insensitive otherwise. We describe sensitivity under the join operation and decomposition into stable blocks and construct sensitive and insensitive, primarily non-regular, graph families. We determine the sensitivity explicitly for numerous singly- and doubly-indexed graph families, including certain generalized joins - e.g., complete multipartite graphs and some generalized windmill graphs; general rooted products; and families of corona graphs.
Induced minors and subpolynomial treewidth
Given a family $\mathcal{H}$ of graphs, we say that a graph $G$ is $\mathcal{H}$-induced-minor-free if no induced minor of $G$ is isomorphic to a member of $\mathcal{H}$, We denote by $W_{t\times t}$ the $t$-by-$t$ hexagonal grid, and by $K_{t,t}$ the complete bipartite graph with both sides of the bipartition of size $t$. We show that the class of $\{K_{t,t},W_{t\times t}\}$-induced minor-free graphs with bounded clique number has subpolynomial treewidth. Specifically, we prove that for every integer $t$ there exist $ε\in (0,1]$ and $c \in \mathbb{N}$ such that every $n$-vertex $\{K_{t,t},W_{t\times t}\}$-induced minor-free graph with no clique of size $t$ has treewidth at most $2^{c\log^{1-ε}n}$.