graph
35436 papers tagged with this keyword
Strong Lefschetz property of the Kirchhoff algebra of the complete tripartite graph $K_{1,1,n}$
By Whitney's 2-isomorphism theorem, the cycle matroids of two graphs are isomorphic if and only if one graph can be transformed into the other by finitely many applications of two operations: separation or identification at a cut-vertex, and twisting. The complete tripartite graph whose vertex set is the disjoint union of two singletons and an $n$-element set is invariant, up to isomorphism, under these operations. In this paper we prove that the Macaulay inverse system (the Kirchhoff algebra) determined by the basis generating polynomial of the cycle matroid of such a graph has the strong Lefschetz property over a field of characteristic $0$. The proof reduces the non-degeneracy of the higher Hessians to the ranks of disjointness matrices of families of subsets (the Gottlieb--Wilson theorem) and to the representation theory of the symmetric group in relation to the Johnson scheme.
Turán densities of hypergraph augmentations
For a $t$-graph $F$ and an integer $r\ge t$, the \emph{$r$-augmentation} $F(r)$ is the $r$-graph obtained by adding the same set of $r-t$ new vertices to every edge of $F$. We investigate the behaviour of the \emph{Turán density $π(F(r))$}, which is the asymptotically maximum edge density of a large $F(r)$-free $r$-graph, as a function of $r\to\infty$.
Let $H_k^r$ be the $r$-augmentation of the complete $(k-1)$-graph on $k$ vertices; equivalently, $H_k^r$ is the (unique up to isomorphism) $r$-graph with $r+1$ vertices and $k$ edges. This paper determines the Turán density of each $r$-graph $H_k^r$ within a constant factor and estimates the lower bounds on $π(H_k^r)$ coming from the circular construction of Sidorenko. In particular, it is shown that if $k/\log r\to\infty$ then $π(H_k^r)=(1+o(1))k/r$.
Also, we consider augmentations of graphs (that is, the case $t=2$) and prove that $π(F(r))\ge(\log r)^{-1-o(1)}/r$ for every 3-chromatic graph $F$, which comes close to the known upper bound $1/r$. Note that, for all other graphs $F$, the function $π(F(r))$ is known to be either identically 0 or uniformly bounded away from 0.
On the maximum degree and order of $K_t$-minor-free graphs with positive Lin--Lu--Yau curvature
Motivated by recent results on the order of connected graphs with positive Lin--Lu--Yau Ricci curvature under forbidden minor or forbidden subgraph conditions and minimum degree assumptions, we prove that, for every integer $t\ge 5$, every locally finite graph $G$ with no $K_t$ minor, minimum degree at least $t-1$ and positive Lin--Lu--Yau Ricci curvature on every edge satisfies \[ Δ(G)=O(t^5\log^{3/2}t). \] The minimum degree condition $t-1$ is best possible. Moreover, if $G$ is connected, then $G$ is finite and \[|V(G)|<2tΔ(G)^6=O(t^{31}\log^9 t). \]
Proper circular arc graphs are $e$-positive
We prove an $e$-positive formula for the chromatic symmetric function of proper circular arc graphs solving the $q=1$ case of a conjecture of Ellzey and of Alexandersson and Panova. In doing so, we provide a new proof of the $e$-positivity of unit interval graphs, which alongside Guay-Paquet's reduction gives a new proof of the Stanley--Stembridge conjecture. We define color matrices, which count proper colorings, and tableau matrices, whose entries are nonnegative rational numbers and ratios of elementary symmetric functions. We prove the two matrices are related by a single family of change of basis matrices, which become invertible after restricting to finitely many colors, and we show the chromatic symmetric function of proper circular arc graphs comes from taking the trace of these matrices. Using Hikita's tableaux, this gives an explicit formula for the chromatic symmetric function of a proper circular arc graph as a weighted sum over tableaux whose first and last $k$ vertices lie in the same columns.
Abelian maximal pattern complexity and extremal words
In this paper, we study the Abelian maximal pattern complexity $p_α^{\ast \mathrm{ab}}(k)$, introduced by Kamae, Widmer and Zamboni, of infinite words $α\in \mathbb{A}^{\mathbb{N}_{0}}$ over finite alphabets $\mathbb{A}$.
For recurrent aperiodic words, we determine a lower bound and prove its sharpness. We further give a structural characterization of the words with minimal Abelian maximal pattern complexity.
In the general case, we prove that an infinite word $α$ is aperiodic if and only if $\binom{p_{α}^{\ast \mathrm{ab}}(k)}{2}\geq k$ for every $k.$ For aperiodic words over $\ell \geq 2$ letters, each occurring infinitely often, we further prove that $p_{α}^{\ast \mathrm{ab}}(k)\geq m$ whenever $\binom{m}{2}\leq (\ell -1)(k-\ell +2)$, for all $m,k$. Together with a matching construction, this shows that the minimum Abelian maximal pattern complexity in this class is $\sqrt{2(\ell -1)k}+O_{\ell }(1)$.
We call a word an Abelian pattern Sturmian word if, at every $k$, its Abelian maximal pattern complexity is the least positive integer $m$ satisfying $\binom{m}{2}\geq k$. We show that a word is Abelian pattern Sturmian if and only if, after relabeling its alphabet, it is the characteristic word of an infinite set $E\subset \mathbb{N}_{0}$ for which the bipartite graph on two disjoint copies of $\mathbb{N}_{0}$, with a left vertex $r$ adjacent to a right vertex $s$ exactly when $r+s\in E$, is a forest.
Erdős-Sós via random cyclic orderings
We present a simplified proof of the Erdős-Sós conjecture on trees in graphs, which is based on its recent resolution by GPT-6 Astra. At the same time, we also give another proof of the corresponding conjecture for antidirected trees in digraphs, posed by Addario-Berry, Havet, Linhares Sales, Reed, and Thomassé, and we simplify recent proofs of Kalai's conjecture for tight trees in hypergraphs. Our proof uses the language of random cyclic orderings in order to take advantage of symmetries that were obscured in the original argument, and we hope that the reader will find it intuitive. We also characterize the extremal examples for Kalai's conjecture, and we generalize it to the setting of so-called fully directed $r$-uniform hypergraphs, whose edges are ordered $r$-tuples.
Connected irregular cospectral graphs with distinct Lovász numbers
For every integer $n \geq 11$, we construct connected, irregular, nonisomorphic graphs on $n$ vertices with equal adjacency, Laplacian, signless Laplacian, normalized Laplacian, and Seidel spectra and equal independence, clique, chromatic, complement chromatic, and maximum-cut numbers, but distinct Lovász $\vartheta$-numbers. We join each graph in a fixed cospectral, nonisomorphic regular pair on ten vertices, due to van Dam and Haemers (2003), with $K_{n-10}$. We prove that these joins preserve equality of the five spectra and stated integer-valued invariants, and leave the respective Lovász numbers unchanged. We derive exact expressions for these numbers and prove that they are distinct. We also determine the cardinality-constrained maximum-cut profiles of both base graphs and their complements, yielding exact formulas and equality of maximum-cut numbers for the joins of either the base graphs or their complements with $K_{n-10}$. For $n=10$, we present a regular pair satisfying all stated properties except irregularity, followed by a connected, irregular, nonisomorphic pair satisfying all properties. An exhaustive computer search finds no connected, irregular, nonisomorphic pair on at most nine vertices sharing the first four spectra and all stated integer-valued invariants. Thus, ten is the smallest possible order, and such pairs exist for every $n \geq 10$. This extends and strengthens Sason's (2024) result for \emph{even} $n \geq 14$, which used the neighbors splitting join operation and did not address Seidel matrices, complement chromatic numbers, or maximum-cut numbers of the graphs or joins of their complements. Thus, the Lovász number efficiently certifies nonisomorphism even when all five spectra and stated integer-valued invariants coincide.
Kronecker Products, Polarity Quotients and Large Graph Constructions
In this paper, we establish a structural compatibility between the Kronecker product of bipartite graphs that admit polarity and their polarity quotients, and provide a sharp upper bound on the diameter of these graphs. We use these properties to construct new families of graphs, all of which have orders that asymptotically approach the Moore bound.
We show that the bipartite compatibility graphs have a natural polarity, and that the corresponding polarity quotients comprise a new family of graphs of any even diameter $2k$ with degree $(q+1)^k$ for any prime power $q$, much smaller than those of other known families of that diameter and field order $q$. These families generalize the Erdős-Rényi-Brown polarity graphs. Kronecker products of these polarity quotients give another new family of graphs of any even diameter for every pair of prime powers $q,r$.
Certain generalized polygons are known to admit polarity with polarity quotients approaching the Moore bound asymptotically. Kronecker products of these polarity quotients give another new family of graphs of diameters $2$, $3$ and $5$, including a diameter-$3$ degree-$18$ graph of order larger than any previously known for that degree and diameter.
A proof of the 3-Decomposition Conjecture
We prove the 3-Decomposition Conjecture: every finite connected cubic loopless multigraph decomposes into a spanning tree, a 2-regular subgraph, and a matching. The proof rests on a new theorem on matching complements in subcubic graphs. Let H be a finite connected bridgeless simple graph of maximum degree three, and let S be its set of degree-two vertices, with |S| = k >= 2. We show that H has a matching of size equal to its cyclomatic number, |E(H)| - |V(H)| + 1, whose deletion leaves a single tree containing all of S, together with cycles disjoint from S. The proof is by induction on k.
On the Realizability of Edge-Girth Sequences
The edge-girth of an edge $e$ in a simple connected graph is the length of a shortest cycle containing $e$, with $g_e = \infty$ if no such cycle exists, and the edge-girth sequence of a graph is the nondecreasing sequence of the edge-girths of its edges. We characterize the sequences that are realizable as the edge-girth sequence of a simple connected graph. A constant sequence $(g^{(m)})$ with $g$ finite and $m \geq 1$ is realizable if and only if $m = g$ or $m \geq \lceil 3g/2 \rceil$. Otherwise, writing $S = S_0 \uplus (g^{(m)})$, where $g$ is the maximum value of $S$ and $m$ its multiplicity, we prove that $S$ is realizable if and only if $S_0$ is realizable and $m$ lies in an explicit set determined by $g$ and by the maximum diameters of the graphs realizing $S_0$, alone or extended by fewer than $g$ edges of edge-girth $g$. The proof rests on a chaining lemma, which turns a shortest cycle of a realization into a lower bound on the maximum diameter of the realizations of a shorter sequence.
On $4$-perfect-matching covers of cubic graphs with two adjacent odd circuits in a $2$-factor
Let $G$ be a cubic graph admitting a $2$-factor consisting of exactly two odd circuits, and let the complementary $1$-factor contain precisely three spokes (along with an arbitrary number of chords). We show that four perfect matchings can cover $G$. As a consequence, $G$ fulfils the $7/5$-Conjecture of Alon and Tarsi.
Signless Laplacian spectral radius of simplicial complexes without $r$-dimensional wheels
An $r$-dimensional wheel is defined as the join of an $(r-2)$-simplex and a cycle. In this paper, we study the maximum signless Laplacian spectral radius of $n$-vertex $r$-dimensional pure simplicial complexes that contain no $r$-dimensional wheels. For sufficiently large $n$, we determine the extremal complexes that attain this maximum. Our result generalizes the corresponding extremal results of signless Laplacian on graphs and provides a spectral anlogue of a theorem of Brown, Erdős and Sós on the maximum number of facets of simplicial complexes in the case $r=2$.
Embeddability of hieroglyphs in the torus and the intersection form
We characterize the hieroglyphs that embed in the torus, where a hieroglyph is a one-vertex graph with a rotation system. We prove equivalent criteria in terms of four forbidden hieroglyphs, the structure of the loop graph, reductions to three terminal forms, and the rank of the interlacement matrix. The proof uses the intersection form on the first homology of a disc with bands over $\mathbb{F}_2$ and the equality between its rank and twice the genus. We describe the effect of reductions and the role of boundary components. Counting the cycles of the boundary permutation yields a linear-time recognition algorithm for an indexed representation of the input.
Locked Polyomino Tilings
A locked $t$-omino tiling is a grid tiling by $t$-ominoes such that, if you remove any pair of tiles, the only way to fill in the remaining $2t$ grid cells with $t$-ominoes is to use the same two tiles in the exact same configuration as before. We exclude degenerate cases where there is only one tiling overall due to small dimensions. It is a classic (and straightforward) result that finite grids do not admit locked 2-omino tilings. In this paper, we construct explicit locked $t$-omino tilings for $t\geq3$ on square and rectangular grids of various dimensions. We show that locked 3- and 4-omino tilings exist on finite square grids of arbitrarily large size. The result for 4-omino tilings in particular is remarkable because they are so rare and difficult to construct: Only a single tiling is known to exist on any grid up to size $40\times40$. We also find locked 5- and 6-omino tilings, and provide a computer-assisted proof that locked 7-omino tilings do not exist on any rectangular grid. In a weighted version of the problem where vertices of the grid may have weights from the set $\{1,2\}$ that count toward the total tile size, we demonstrate the existence of locked tilings on arbitrarily large square weighted grids with only 6 tiles. Finally, we construct locked $t$-omino tilings of the infinite grid for arbitrarily large $t$.
Locked $t$-omino tilings arise as obstructions to widely used political redistricting algorithms in a model of redistricting where the underlying census geography is a grid graph. Most prominent is the ReCom Markov chain, which takes a random walk on the space of redistricting plans by iteratively merging and splitting pairs of districts (tiles) at a time. Locked $t$-omino tilings are isolated states in the state space of ReCom. The constructions in this paper are counterexamples to the meta-conjecture that ReCom is irreducible on graphs of practical interest.
New upper bounds for the period of a negative orientable sequence
Negative orientable sequences, i.e. periodic sequences with elements from a finite alphabet of size at least three in which an n-tuple or the negative of its reverse appears at most once in a period of the sequence, were introduced by Alhakim et al. in 2024. The main goal in defining them was as a means of generating orientable sequences, which have automatic position location applications, although they are potentially of interest in their own right. In this paper we develop new upper bounds on the period of negative orientable sequences which, for n>2, are significantly sharper than the previous known bound. The approach used to develop the new bounds involves examining the nodes in the subgraph of the de Bruijn graph corresponding to a negative orientable sequence, and to consider the implications of the fact that the in-degree of every vertex in this subgraph must equal the out-degree. However, despite improving the bounds, a gap remains between the largest known period for a negative orientable sequence and the corresponding bounds for every n>2.
A modern perspective on Tutte's homotopy theorem
We begin with a review of Tutte's homotopy theory, which concerns the structure of a certain graph associated to a matroid (together with some extra data). Concretely, Tutte's path theorem asserts that this graph is connected, and his homotopy theorem asserts that every cycle in the graph is a composition of ``elementary cycles'', which come in four different flavors. We present an extended version of the homotopy theorem, in which we give a more refined classification of the different types of elementary cycles. We explain in detail how the path theorem allows one to prove that the foundation of a matroid (in the sense of Baker--Lorscheid) is generated by universal cross-ratios, and how the extended homotopy theorem allows one to classify all algebraic relations between universal cross-ratios. The resulting ``fundamental presentation'' of the foundation was previously established in [Baker--Lorscheid], but the argument here is more self-contained. We then recall a few applications of the fundamental presentation to the representation theory of matroids. Finally, in the most novel but also the most speculative part of the paper, we discuss what a ``higher Tutte homotopy theorem'' might look like, and we present some preliminary computations along these lines.
The appendices include modern language translations of Tutte's proofs of the path theorem and the homotopy theorem (the latter is a contribution by Juš Kocutar).
A note on the proof of Barnette's conjecture
Barnette's conjecture states that every cubic 3-connected bipartite planar graph has a Hamiltonian cycle. We present a digested exposition of OpenAI's generated proof of Barnette's conjecture \cite{openai-barnette}.
Polynomial pathwidth for graphs vertex-coverable by few shortest paths and algorithms for quasi-shortest path covers
We study how covering a graph by a small number of shortest or approximately shortest paths/walks constrains its treewidth and pathwidth. A path or walk is $(α,β)$-quasi-shortest for $α\geq1$ and $β\geq 0$ if each contiguous segment has length at most $α$ times the distance between its endpoints plus $β$.
For graphs vertex-covered by $k$ shortest paths, we establish the first known polynomial pathwidth bound of $O(k^3)$. For edge-coverage, we improve the previously known $O(k^4)$ upper bound to $O(k^2\log k)$. As a main ingredient of the proofs, we first show that if the vertices of a graph can be covered by $k$ $(α,β)$-quasi-shortest paths or walks, then its treewidth is $O_{α,β}(k^2)$; this is a consequence of the fact that such graphs have linear metric growth and the technique developed in [Campbell et al., E-JC 2023]. To obtain the above pathwidth upper bounds, we combine this result with techniques from the literature in a nontrivial way.
On the other hand, we show that there exist connected bipartite cubic graph whose edges can be covered by $k$ shortest paths and whose pathwidth is $Ω(k\log k)$, providing the first superlinear lower bound. For graphs covered by $k=2$ $(α,0)$-quasi-shortest paths with $α>1$, we show that, unlike treewidth and unlike the case $α=1$ and $β=0$ of exact shortest paths, the pathwidth may be unbounded.
Finally, for every fixed rationals $α\geq1$ and $β\geq 0$, we give XP algorithms with a running time of $n^{f(k,α,β)}$ for some function~$f$ that decide whether the vertices of a graph can be covered by at most $k$ $(α,β)$-quasi-shortest paths or walks. The algorithms combine our treewidth upper bounds with an algorithmic meta-theorem from [Dreier et al., LICS 2025].
[abstract shortened to meet the arXiv requirements]
Asymptotical results on the automorphism groups of canonical double cover of graphs
The canonical double cover $BX$ of a graph $X$ is the direct product $X\times K_2$. A graph $X$ is stable if every automorphism of $BX$ is induced by automorphisms of $X$ and $K_2$, and unstable otherwise. We prove several asymptotic results on stable and unstable graphs. In particular, we show that the automorphism group of the canonical double cover of almost every graph has order $2$, and consequently that almost all graphs are stable. We also prove that the dominant sources of instability are having twins and being disconnected, in that order, and that graphs arising from a known construction are the next step in this hierarchy.
Permutation classes need not have proper growth rates
By the Marcus-Tardos Theorem (formerly the Stanley-Wilf Conjecture), every permutation class other than the class of all permutations has a finite upper growth rate, meaning that the $n$th root of the number of permutations of length $n$ in the class has a finite limit superior. It has long been conjectured that this limit superior is in fact always a proper limit. We disprove this by constructing a permutation class whose upper and lower growth rates differ. The construction uses grid classes with cubic row-column graphs of increasing girth, obtained from Haar graphs of finite 2-groups. The corresponding hereditary property of ordered graphs also disproves an analogous 2006 conjecture of Balogh, Bollobás, and Morris. Along the way, we show that every proper permutation class with a D-finite generating function has a proper growth rate. We also establish refined enumerative bounds for grid classes, which lead to a short proof of Albert and Vatter's generalization of Bevan's Theorem on the growth rates of grid classes.