graph
34516 papers tagged with this keyword
Trivial Kazhdan-Lusztig polynomials and cubulation of the Bruhat graph
For $(W,S)$ an arbitrary Coxeter system and any $y \in W$, we investigate the relationship between the condition that the Kazhdan-Lusztig polynomial $P_{x,y}$ is trivial for all $x \leq y$, and the condition that the Bruhat graph for the interval $[1,y]$ can be cubulated, meaning roughly that this graph can be spanned by a product of subintervals of $\mathbb{Z}$. In one direction, we combine results of Carrell-Peterson and Elias-Williamson to prove that if $[1,y]$ can be cubulated, then $P_{x,y} = 1$ for all $x \leq y$. We then investigate the converse of this statement. For $(W,S)$ finite and $w_0$ the longest element in $W$, so that $P_{x,w_0} = 1$ for all $x \in W$, we construct cubulations of $[1,w_0]$ in types $A$ and $B/C$. However, in some exceptional types, we determine elements $y \in W$ such that $P_{1,y} = 1$ but $[1,y]$ cannot be cubulated. We then prove that if there are infinitely many $y \in W$ such that $[1,y]$ can be cubulated, then $(W,S)$ must be of type $\tilde{A}_n$ for some $n \geq 1$. Finally, for $(W,S)$ of type $\tilde{A}_2$, we exhibit a cubulation of $[1,y]$ for each of the infinitely many $y \in W$ such that $P_{x,y} = 1$ for all $x \leq y$.
Optimal Erasure Codes and Codes on Graphs
We construct constant-sized ensembles of linear error-correcting codes over any fixed alphabet that can correct a given fraction of adversarial erasures at rates approaching the Singleton bound arbitrarily closely. We provide several applications of our results:
1. Explicit constructions of strong linear seeded symbol-fixing extractors and lossless condensers, over any fixed alphabet, with only a constant seed length and optimal output lengths;
2. A strongly explicit construction of erasure codes on bipartite graphs (more generally, linear codes on matrices of arbitrary dimensions) with optimal rate and erasure-correction trade-offs;
3. A strongly explicit construction of erasure codes on non-bipartite graphs (more generally, linear codes on symmetric square matrices) achieving improved rates;
4. A strongly explicit construction of linear nearly-MDS codes over constant-sized alphabets that can be encoded and decoded in quasi-linear time.
A Spectral Lower Bound on Chromatic Numbers using $p$-Energy
Let $A_G $ be the adjacency matrix of a simple graph $ G $, and let $ χ(G) $, $ χ_f(G) $, $ χ_q(G) $, $ ξ(G) $ and $ ξ_f(G) $ denote its chromatic number, fractional chromatic number, quantum chromatic number, orthogonal rank and projective rank, respectively. For $ p \geq 0 $, we define the positive and negative $ p $-energies of $ G $ by $$ \mathcal{E}_p^+(G) = \sum_{λ_i > 0} λ_i^p, \quad \mathcal{E}_p^-(G) = \sum_{λ_i < 0} |λ_i|^p, $$ where $ λ_1 \geq \cdots \geq λ_n $ are the eigenvalues of $A_G $. We prove that for all $ p \geq 0 $, $$ χ(G) \geq \left\{χ_f(G), χ_q(G), ξ(G) \right\} \geq ξ_f(G) \geq 1 + \max\left\{ \frac{\mathcal{E}_p^+(G)}{\mathcal{E}_p^-(G)}, \frac{\mathcal{E}_p^-(G)}{\mathcal{E}_p^+(G)} \right\}^{\frac{1}{|p - 1|}}. $$ This result unifies and strengthens a series of existing bounds corresponding to the cases $ p \in \{0, 2, \infty\} $. In particular, the case $ p = 0 $ yields the inertia bound $$ χ_f(G) \geq ξ_f(G) \geq1 + \max\left\{\frac{n^+}{n^-}, \frac{n^-}{n^+}\right\}, $$ where $ n^+ $ and $ n^- $ denote the number of positive and negative eigenvalues of $ A_G $, respectively. This resolves two conjectures of Elphick and Wocjan.
We also demonstrate that for certain graphs, non-integer values of $ p $ provide sharper lower bounds than existing spectral bounds. As an example, we determine $ χ_q $ for the Tilley graph, which cannot be achieved using existing (unweighted) $p$-energy bounds. Our proof employs a novel synthesis of linear algebra and measure-theoretic tools, which allows us to surpass existing spectral bounds.
Maximizing the number of stars in graphs with forbidden properties
Erdős proved an upper bound on the number of edges in an $n$-vertex non-Hamiltonian graph with given minimum degree and showed sharpness via two members of a particular graph family. Füredi, Kostochka and Luo showed that these two graphs play the same role when ``number of edges'' is replaced by ``number of t-stars,'' and that two members of a more general graph family maximize the number of edges among non-$k$-edge-Hamiltonian graphs. In this paper we generalize their former result from Hamiltonicity to related properties (traceability, Hamiltonian-connectedness, $k$-edge Hamiltonicity, $k$-Hamiltonicity) and their latter result from edges to $t$-stars. We identify a family of extremal graphs for each property that is forbidden. This problem without the minimum degree condition was also open; here we conjecture a complete description of the extremal family for each property, and prove the characterization in some cases. Finally, using a different family of extremal graphs, we find the maximum number of $t$-stars in non-$k$-connected graphs.
Vertex-Based Localization of Erdős-Gallai Theorems for Paths and Cycles
For a simple graph $G$, let $n$ and $m$ denote the number of vertices and edges in $G$, respectively. The Erdős-Gallai theorem for paths states that in a simple $P_k$-free graph, $m \leq \frac{n(k-1)}{2}$, where $P_k$ denotes a path with length $k$ (that is, with $k$ edges). In this paper, we generalize this result as follows: For each $v \in V(G)$, let $p(v)$ be the length of the longest path that contains $v$. We show that \[m \leq \sum_{v \in V(G)} \frac{p(v)}{2}\] The Erdős-Gallai theorem for cycles states that in a simple graph $G$ with circumference (that is, the length of the longest cycle) at most $k$, we have $m \leq \frac{k(n-1)}{2}$. We strengthen this result as follows: For each $v \in V(G)$, let $c(v)$ be the length of the longest cycle that contains $v$, or $2$ if $v$ is not part of any cycle. We prove that \[m \leq \left( \sum_{v \in V(G)} \frac{c(v)}{2} \right) - \frac{c(u)}{2}\] where $c(u)$ denotes the circumference of $G$. \newline Furthermore, we characterize the class of extremal graphs that attain equality in these bounds.
Defective coloring of blowups
Given a graph $G$ and an integer $d\ge 0$, its $d$-defective chromatic number $χ^d(G)$ is the smallest size of a partition of the vertices into parts inducing subgraphs with maximum degree at most $d$. Guo, Kang and Zwaneveld recently studied the relationship between the $d$-defective chromatic number of the $(d+1)$-fold (clique) blowup $G\boxtimes K_{d+1}$ of a graph $G$ and its ordinary chromatic number, and conjectured that $χ(G)=χ^d(G\boxtimes K_{d+1})$ for every graph $G$ and $d\ge 0$. In this note we disprove this conjecture by constructing graphs $G$ of arbitrarily large chromatic number such that $χ(G)\ge \frac{30}{29}χ^d(G\boxtimes K_{d+1})$ for infinitely many $d$. On the positive side, we show that the conjecture holds with a constant factor correction, namely $χ^d(G\boxtimes K_{d+1})\le χ(G)\le 2χ^d(G\boxtimes K_{d+1})$ for every graph $G$ and $d\ge 0$.
Log-concavity of characters of parabolic Verma modules, and of restricted Kostant partition functions
In 2022, Huh-Matherne-Mészáros-St. Dizier showed that normalized Schur polynomials are Lorentzian, thereby yielding their continuous (resp. discrete) log-concavity on the positive orthant (resp. on their support, in type $A$ root directions). A reinterpretation of this result is that the characters of finite-dimensional simple representations of $\mathfrak{sl}_{n+1}(\mathbb{C})$ are denormalized Lorentzian (DL). In the same paper, these authors also showed that shifted characters of Verma modules over $\mathfrak{sl}_{n+1}(\mathbb{C})$ are DL.
In this work we extend these results to a larger family of modules that subsumes both of the above: we show that shifted characters of all parabolic Verma modules over $\mathfrak{sl}_{n+1}(\mathbb{C})$ are denormalized Lorentzian. The proof involves certain graphs on $[n+1]$; more strongly, we explain why the character (i.e., generating function) of the Kostant partition function of any loopless multigraph on $[n+1]$ is Lorentzian after shifting and normalizing.
We then show that parabolic Vermas form a "maximal" class with log-concave (hence DL) characters. Namely, log-concavity fails in greater generality along three natural directions: (1) it does not hold for every simple Lie type, (2) nor for a larger universal family of highest weight modules, the higher order Verma modules, even in type $A$, and (3) it does not always hold for important generalizations of Schur polynomials: the Jack and Macdonald polynomials.
Finally, we extend these results to parabolic (i.e. "first order") and higher order Verma modules over the semisimple Lie algebras $\oplus_{t=1}^T \mathfrak{sl}_{n_t+1}(\mathbb{C})$. We also partially resolve a conjecture of Huh et al on the DL property for integral highest weight simple modules.
Copositive geometry of Feynman integrals
Copositive matrices and copositive polynomials are objects from optimization. We connect these to the geometry of Feynman integrals in physics. The integral is guaranteed to converge if its kinematic parameters lie in the copositive cone. Pólya's method makes this manifest. We study the copositive cone for the second Symanzik polynomial of any Feynman graph. Its algebraic boundary is described by Landau discriminants.
Spanning clique subdivisions in pseudorandom graphs
In this paper, we study the appearance of a spanning subdivision of a clique in graphs satisfying certain pseudorandom conditions. Specifically, we show the following three results. Firstly, that there are constants $C>0$ and $c\in (0,1]$ such that, whenever $d/λ\ge C$, every $(n,d,λ)$-graph contains a spanning subdivision of $K_t$ for all $2\le t \le \min\{cd,c\sqrt{\frac{n}{\log n}}\}$. Secondly, that there are constants $C>0$ and $c\in (0,1]$ such that, whenever $d/λ\ge C\log^3n$, every $(n,d,λ)$-graph contains a spanning nearly-balanced subdivision of $K_t$ for all $2\le t \le \min\{cd,c\sqrt{\frac{n}{\log^3n}}\}$. Finally, we show that for every $μ>0$, there are constants $c,\varepsilon\in (0,1]$ and $n_0\in \mathbb N$ such that, whenever $n\ge n_0$, every $n$-vertex graph with minimum degree at least $μn$ and no bipartite holes of size $\varepsilon n$ contains a spanning nearly-balanced subdivision of $K_t$ for all $2\le t \le c\sqrt{n}$.
$SL_k$-Tilings and Paths in $\mathbb{Z}^k$
An $SL_k$-tiling is a bi-infinite array of integers having all adjacent $k\times k$ minors equal to one and all adjacent $(k+1)\times (k+1)$ minors equal to zero. Introduced and studied by Bergeron and Reutenauer, $SL_k$-tilings generalize the notion of Conway-Coxeter frieze patterns in the case $k=2$. In a recent paper, Short showed a bijection between bi-infinite paths of reduced rationals in the Farey graph and $SL_2$-tilings. We extend this result to higher $k$ by constructing a bijection between $SL_k$-tilings and certain pairs of bi-infinite strips of vectors in $\mathbb{Z}^k$ called paths. The key ingredient in the proof is the connection to Plücker friezes and Grassmannian cluster algebras. As an application, we obtain results about periodicity, duality, and positivity for tilings.
Coloring of graphs without long odd holes
A {\em hole} is an induced cycle of length at least 4, a $k$-hole is a hole of length $k$, and an {\em odd hole} is a hole of odd length. Let $\ell\ge 2$ be an integer. Let ${\cal A}_{\ell}$ be the family of graphs of girth at least $2\ell$ and having no odd holes of length at least $2\ell+3$, let ${\cal B}_{\ell}$ be the triangle-free graphs which have no 5-holes and no odd holes of length at least $2\ell+3$, and let ${\cal G}_{\ell}$ be the family of graphs of girth $2\ell+1$ and have no odd hole of length at least $2\ell+5$. Chudnovsky {\em et al.} \cite{CSS2016} proved that every graph in ${\cal A}_{2}$ is 58000-colorable, and every graph in ${\cal B}_{\ell}$ is $(\ell+1)4^{\ell-1}$-colorable. Lan and liu \cite{LL2023} showed that for $\ell\geq3$, every graph in ${\cal G}_{\ell}$ is 4-colorable. It is not known whether there exists a small constant $c$ such that graphs of ${\cal G}_2$ are $c$-colorable. In this paper, we show that every graph in ${\cal G}_2$ is 1456-colorable, and every graph in ${\cal A}_{3}$ is 4-colorable. We also show that every 7-hole free graph in ${\cal B}_{\ell}$ is $(12\ell+8)$-colorable.
Levelable graphs
We study a family of positive weighted well-covered graphs, which we call levelable graphs, that are related to a construction of level artinian rings in commutative algebra. A graph $G$ is levelable if there exists a weight function with positive integer values on the vertices of $G$ such that $G$ is well-covered with respect to this weight function. That is, the sum of the weights in any maximal independent set of vertices of $G$ is the same. We describe some of the basic properties of levelable graphs and classify the levelable graphs for some families of graphs, e.g., trees, cubic circulants, Cameron--Walker graphs. We also explain the connection between levelable graphs and a class of level artinian rings. Applying a result of Brown and Nowakowski about weighted well-covered graphs, we show that for most graphs, their edge ideals are not Cohen--Macaulay.
Uniquely realisable graphs in polyhedral normed spaces
A framework (a straight-line embedding of a graph into a normed space allowing edges to cross) is globally rigid if any other framework with the same edge lengths with respect to the chosen norm is an isometric copy. We investigate global rigidity in polyhedral normed spaces: normed spaces where the unit ball is a polytope. We first provide a deterministic algorithm for checking whether or not a framework in a polyhedral normed space is globally rigid. After showing that determining if a framework is globally rigid is NP-Hard, we then provide necessary conditions for global rigidity for generic frameworks. We obtain stronger results for generic frameworks in $\ell_\infty^d$ (the vector space $\mathbb{R}^d$ equipped with the $\ell_\infty$ metric) including an exact characterisation of global rigidity when $d=2$, and an easily-computable sufficient condition for global rigidity using edge colourings. Our 2-dimensional characterisation also has a surprising consequence: Hendrickson's global rigidity condition fails for generic frameworks in $\ell_\infty^2$.
The connectedness of friends-and-strangers graphs about graph parameters and others
Let $X$ and $Y$ be two graphs of order $n$. The friends-and-strangers graph $\textup{FS}(X,Y)$ of $X$ and $Y$ is a graph whose vertex set consists of all bijections $σ: V(X)\rightarrow V(Y)$, in which two bijections $σ$ and $ σ'$ are adjacent if and only if they agree on all but two adjacent vertices of $X$ such that the corresponding images are adjacent in $Y$. The most fundamental question about these friends-and-strangers graphs is whether they are connected. In this paper, we provide a sufficient condition regarding the maximum degree $Δ(X)$ and vertex connectivity $κ(Y)$ that ensures the graph $\textup{FS}(X,Y)$ is $s$-connected. As a corollary, we improve upon a result by Bangachev and partially confirm a conjecture he proposed. Furthermore, we completely characterize the connectedness of $\textup{FS}(X,Y)$, where $X\in\textup{DL}_{n-k,k}$.
Perfect state transfer on gcd-graphs over a finite Frobenius ring, I: general theory and results for local rings
The existence of perfect state transfer (PST) on quantum spin networks is a fundamental problem in mathematics and physics. Various works in the literature have explored PST in graphs with arithmetic origins, such as gcd-graphs over $\mathbb{Z}$ and cubelike graphs. In this article, building on our recent work on gcd-graphs over an arbitrary finite Frobenius ring, we investigate the existence of PST on these graphs. Our approach is algebraic in nature, enabling us to unify various existing results in the literature.
On the star b-chromatic number of a graph
A star coloring of a graph $G$ is a proper coloring where vertices of every two color classes induce a forest of stars. A strict partial order is defined on the set of all star colorings of $G$. We introduce the star b-chromatic number $S_b(G)$, analogous to the b-chromatic number, as the maximum number of colors in a minimum element of the mentioned order. We present several combinatorial properties of $S_b(G)$, compute the exact value for $S_b(G)$ for several known families and compare $S_b(G)$ with several invariants naturally connected to $S_b(G)$.
On finite groups whose power graphs satisfy certain connectivity conditions
Consider a graph $Γ$. A set $ S $ of vertices in $Γ$ is called a {cyclic vertex cutset} of $Γ$ if $Γ- S$ is disconnected and has at least two components containing cycles. If $Γ$ has a cyclic vertex cutset, then it is said to be {cyclically separable}. The {cyclic vertex connectivity} is the minimum cardinality of a cyclic vertex cutset of $Γ$. The power graph $\mathcal{P}(G)$ of a group $G$ is the undirected simple graph with vertex set $G$ and two distinct vertices are adjacent if one of them is a positive power of the other. If $G$ is a cyclic, dihedral, or dicyclic group, we determine the order of $G$ such that $\mathcal{P}(G)$ is cyclically separable. Then we characterize the equality of vertex connectivity and cyclic vertex connectivity of $\mathcal{P}(G)$ in terms of the order of $G$.
Some results on the higher-rank graphs associated to crystals of semisimple Lie algebras
In this paper we continue the study of the higher-rank graphs associated to finite-dimensional complex semisimple Lie algebras, introduced by the author and R. Yuncken, whose construction relies on Kashiwara's theory of crystals. First we prove that the Bruhat graphs of the corresponding Weyl groups, both weak and strong, can be embedded into the higher-rank graphs as colored graphs. Next, specializing to Lie algebras of type $A$, we connect some aspects of the construction of the higher-rank graphs with some well-known notions in combinatorics, most notably the keys of Lascoux and Schützenberger.
A Graph Minors Approach to Temporal Sequences
We develop a structural approach to simultaneous embeddability in temporal sequences of graphs, inspired by graph minor theory. Our main result is a classification theorem for 2-connected temporal sequences: we identify five obstruction classes and show that every 2-connected temporal sequence is either simultaneously embeddable or admits a sequence of improvements leading to an obstruction. This structural insight leads to a polynomial-time algorithm for deciding the simultaneous embeddability of 2-connected temporal sequences.
The restriction to 2-connected sequences is necessary, as the problem is NP-hard for connected graphs, while trivial for 3-connected graphs. As a consequence, our framework also resolves the rooted-tree SEFE problem, a natural extension of the well-studied sunflower SEFE. More broadly, our results demonstrate the applicability of graph minor techniques to evolving graph structures and provide a foundation for future algorithmic and structural investigations in temporal graph theory.
A Tutte-type canonical decomposition of 3- and 4-connected graphs
Published in SODA 2026, 2942-3021 [Conference Proceedings]
• View Publication
• BIB
We provide a unique decomposition of every 4-connected graph into parts that are either quasi-5-connected, cycles of triangle-torsos and 3-connected torsos on $\leq 5$ vertices, generalised double-wheels, or thickened $K_{4,m}$'s. The decomposition can be described in terms of a tree-decomposition but with edges allowed in the adhesion-sets. Our construction is explicit, canonical, and exhibits a defining property of the Tutte-decomposition.
As a corollary, we obtain a new Tutte-type canonical decomposition of 3-connected graphs into parts that are either quasi-4-connected, generalised wheels or thickened $K_{3,m}$'s. This decomposition is similar yet different from the tri-separation decomposition.
As an application of the decomposition for 4-connectivity, in a follow-up paper we obtain a new theorem characterising all vertex-transitive finite connected graphs as essentially quasi-5-connected or on a short explicit list of graphs.