graph
35150 papers tagged with this keyword
PermuFormer: Multi-Task Pretraining for Permutation Representation in Algebraic Combinatorics
Diverse pretraining has been shown to be an effective method for learning reusable, domain-aware representations that provide a starting point for fine-tuning on downstream tasks. While much of the excitement in AI for math has been concentrated in the use of frontier reasoning models to solve well-specified problems through the medium of language, narrow, specialized models remain an important component of the AI for math ecosystem. In contrast to large language models, specialized models are usually trained directly on the mathematical objects themselves (e.g., graphs, sequences of numbers) rather than the textual descriptions that characterize these objects. However, the common practice of training specialists from scratch may limit their ability to develop domain-aware representations that capture the multifaceted nature of mathematics. In this paper, we describe an approach to pretraining for permutation-focused tasks in algebraic combinatorics. We introduce PermuFormer, an autoregressive transformer trained on a 2.8 billion token multi-task, multi-encoding corpus. We show that PermuFormer is an effective starting point for fine-tuning on basic tasks unseen during pretraining and more complex research-level tasks, frequently outperforming the same architecture trained from scratch, baseline MLPs, and a fine-tuned generic language model of comparable size. We also analyze some of the internal mechanisms by which PermuFormer learns to solve training tasks. For example, we show that while some tasks can be linearly decoded directly from the internal representation of the prompt, other tasks require multiple rounds of generation before the answer can be decoded.
Asymmetric Homomorphism Thresholds for Graphs of Large Odd Girth
We determine the asymmetric homomorphism threshold from graphs of odd girth at least $7$ to triangle-free graphs, showing that $δ_{\mathrm{hom}}(\{C_3,C_5\},\{C_3\})=\frac{1}{9}$. Equivalently, for every $\varepsilon>0$, every $n$-vertex graph of odd girth at least $7$ and minimum degree at least $(1/9+\varepsilon)n$ admits a homomorphism to a triangle-free graph of size bounded by a function of $\varepsilon$, while there exist graphs of odd girth at least $7$ and minimum degree at least $(1/9-\varepsilon)n$ for which no such bounded-size triangle-free homomorphic image exists.
More generally, for every $t\geq 3$, we prove $δ_{\mathrm{hom}}(\{C_3,C_5\},\{K_t\})=\frac{1}{3t}$. In particular, for every proper monotone class $\mathcal C$ of graphs, the threshold for graphs of odd girth at least $7$ to admit a homomorphism to a bounded-size graph in $\mathcal C$ is positive. We further extend this phenomenon to arbitrary odd girth: for every $k\geq 2$ and every proper monotone subclass $\mathcal C$ of the class of graphs of odd girth at least $2k-1$, the threshold for graphs of odd girth at least $2k+3$ to admit a homomorphism to a bounded-size graph in $\mathcal C$ is positive.
These results disprove conjectures of Gishboliner, Hurley and Wigderson and exhibit a sharp contrast with the corresponding zero chromatic-threshold results. Our lower-bound constructions are based on high-dimensional Borsuk graphs, while the matching upper bounds use regularity arguments to recover the structure underlying these constructions.
An infinite family of intransitive directed strongly regular graphs with rank 6 Weisfeiler--Leman closure
We construct an infinite family of directed strongly regular graphs (DSRGs) with intransitive full automorphism groups whose Weisfeiler--Leman closure are association schemes of rank 6. This is the smallest possible rank for an association scheme admitting a proper DSRG merging. We also exhibit rigid sporadic DSRGs with the same closure property, showing that combinatorial regularity, group-theoretic symmetry, and Weisfeiler--Leman regularity capture fundamentally different aspects of graph structure.
Maximizing the number of cliques in $K_{r+1}$-free graphs with forbidden properties
Ferrero and Lesniak in 2018 found the maximum numbers of edges in $r$-partite non-Hamiltonian graphs. Recently we found the maximum numbers of edges and $t$-cliques in $K_{r+1}$-free graphs (1) that are not Hamiltonian or (2) that satisfy a condition on low-degree vertices related to Pósa's theorem. Applying theorem (2), here we extend theorem (1) from Hamiltonicity to other properties. We determine the maximum numbers of edges and $t$-cliques in $K_{r+1}$-free graphs that avoid one of the following properties: traceability, Hamiltonian-connectedness, $k$-path Hamiltonicity, $k$-Hamiltonicity, $k$-Hamiltonian-connectedness, and $k$-connectedness. We find all extremal graphs having the maximum numbers of edges. On the way, we prove upper bounds on the numbers of edges and $t$-cliques in $K_{r+1}$-free graphs that avoid an arbitrary stable property that holds for sufficiently large complete graphs.
Equilibrium Numbers in Non-Square Bimatrix Games
Bimatrix games may have an exponential number of mixed Nash equilibria if both dimensions of the game are allowed to grow. Bounds on their maximal number give structural insights that have been used to construct hard-to-solve games. We show new sharp or asymptotically sharp bounds on the (polynomial) number of equilibria for generic games where one dimension of the game is fixed and the number of strategies of the other player grows. These results go beyond the hitherto studied square games. Our methods employ combinatorial properties of polytopes, and recent obstructions that relate to the graph of those polytopes. For $n\ge5$, we construct $3\times n$ games that have all $2n+1$ vertices of the best-response polytope as equilibrium strategies, proved using a simple case of the 4-color theorem for planar graphs. Generic $4\times 5$ games are shown to have at most 17 equilibria, using computer calculations with existing datasets for all combinatorial types of the relevant polytopes. For $d\times n$ games, we construct games where all but a fraction of $O(1/n)$ of the maximum number of vertices are equilibrium strategies.
The $\mathbb{Z}$-Divisor Graph on $\mathbb{Q} \cap [1,7]$ is Planar and 3-Colorable
We prove that a divisor graph on an interval of integers is a planar graph whenever the interval $[n,m]$ satisfies $m\leq 7n$, and that 7 is the greatest such real number for which we can guarantee that the graph is planar. We prove these graphs are 3-colorable.
On infinite families of $[P_n]$-irregular graphs
This paper presents the first systematic study of $[F]$-irregular graphs, a concept that parallels classical $F$-irregularity. For a fixed graph $F$, a graph $G$ is $[F]$-irregular if the numbers of its induced subgraphs isomorphic to $F$ containing a given vertex are pairwise distinct for all vertices of $G$. We prove that there exist infinitely many $[P_n]$-irregular graphs for any path $P_n$ of order $n \ge 3$. We establish that a non-trivial $[P_3]$-irregular graph of order $k$ exists if and only if $k \ge 7$. Finally, we propose the Strong Conjecture on $[F]$-irregular graphs.
Clique-dependent strongly sublinear treewidth and strongly sublinear tree-independence number
We establish a strongly sublinear counterpart of a recent result of Chudnovsky, E S, and Lokshtanov (arXiv 2025) on treewidth and tree-independence number. Namely, we prove that a hereditary graph class has strongly sublinear tree-independence number if and only if, for every fixed clique bound, its graphs of bounded clique number have strongly sublinear treewidth. In fact, this is part of a broader equivalence theorem. For hereditary classes, these conditions are also equivalent to having clique-dependent polynomial expansion, to admitting balanced separators whose size is bounded by $Kω(G)^s |V(G)|^{1-β}$ for fixed $K,s,β>0$, and to admitting balanced clique-based separators of strongly sublinear size (equivalently, weight). Thus, we show that all these properties, which arose independently in the study of subexponential-time exact algorithms and polynomial-time approximation schemes, in fact describe the same hereditary graph classes. As a consequence of our equivalence theorem, we also show that every hereditary class $\mathcal C$ with strongly sublinear tree-independence number admits a subexponential-time algorithm that, given $G\in\mathcal C$, computes a tree decomposition of $G$ with strongly sublinear independence number.
On splitting properties of the stability problem with integer choice functions
We consider the integer version of Alkan--Gale's model on stability in a two-sided market, called the stable generalized allocation one. It is given by a triple $(G,b,C)$, where $G=(V,E)$ is a finite bipartite graph with nonnegative integer capacities $b(e)\in{\mathbb Z}_+$ of edges $e\in E$, and for each vertex (``agent'') $v\in V$, the preferences on the set $E_v$ of its incident edges depend on a choice function $C_v$. The latter acts on the set of vectors in ${\mathbb Z}_+^{E_v}$ bounded by the capacities and obeys the standard axioms of substitutability and size monotonicity. Alkan--Gale's prominent theorem implies that the stability problem in this case always has a stable solution $x\in{\mathbb Z}_+^E$ and, moreover, the set ${\cal S}_{G,b,C}$ of these solutions (``stable generalized allocations'') forms a distributive lattice.
However, this lattice is rather intricate to construct and work with, and we wonder whether it can be represented via a ``simpler'' stability model. Answering this issue, we arrange a sort of splitting techniques to embed ${\cal S}_{G,b,C}$, as a sublattice, in the lattice of stable matchings and, more compactly, in the lattice of stable allocations (as in Baiou--Balinski's stability model). This generalizes Fleiner's result on a detachment in the special case with all-unit capacities.
Keywords: stable marriage, stable allocation, choice function, rotation, distributive lattice, poset representation
Sharp connectivity thresholds for mixed rigidity packings and improved bounds for highly connected orientations of graphs
Garamvölgyi, Jordán, Király and Villányi [{{\bf Forum Math. Pi} \textbf{13} (2025), Paper No.~e11}] posed two sharp connectivity conjectures for packing rigid spanning subgraphs: one for the equal-dimensional case and the other for the packing of a $d$-rigid spanning subgraph with a spanning tree. We prove a unified theorem: for arbitrary positive integers $d_1,\ldots,d_s$, every $\sum_{i=1}^{s}d_i(d_i+1)$-connected graph contains pairwise edge-disjoint spanning subgraphs $H_1,\ldots,H_s$ such that $H_i$ is $d_i$-rigid for every $i$. The connectivity bound is sharp whenever $\sum_{i=1}^{s}d_i(d_i+1)\ge4$.
As special cases, the theorem settles both conjectures, confirms the conjecture of Garamvölgyi, Jordán and Király [{\bf J. Combin. Theory Ser. B} \textbf{166} (2024), 1--29] that every $tk(k+1)$-connected graph contains $t$ pairwise edge-disjoint $k$-connected spanning subgraphs, and gives the sharp threshold $d(d+1)+2r$ for packing one $d$-rigid spanning subgraph together with $r$ pairwise edge-disjoint spanning trees.
We also obtain two upper bounds related to Thomassen's conjecture on highly connected orientations of graphs. If $f(q)$ is the least integer such that every $f(q)$-connected graph has a $q$-connected orientation, then $f(q)\le(25q^2+41q-16)/2$ for every $q\ge3$ and $f(q)\le8q^2+212q+1404=(8+o(1))q^2$ for all sufficiently large $q$; these two results reduce the leading coefficient in the previous quadratic bound from $320$ to $25/2$ for every $q\ge3$ and $8$ for all sufficiently large $q$. Compared to the bound for $f(q)$ obtained by Garamvölgyi et al. we obtain the better bounds, not only through our tight rigidity result but also by exploiting the leftover edges when we remove two edge-disjoint spanning (sufficiently) rigid graphs.
Completing the Existence Problem for Integer Relative Heffter Arrays $\mathrm{H}_k(n;k)$
Heffter arrays, introduced by Archdeacon in 2015, are combinatorial structures with applications to cyclic cycle systems and biembeddings of graphs on surfaces. Costa, Morini, Pasotti and Pellegrini proposed in 2020 the notion of relative Heffter arrays as a generalization of classical Heffter arrays, inspired by the concept of relative difference families. In their work, the existence problem of integer relative Heffter arrays $\mathrm{H}_k(n;k)$ was solved for all $k\neq 5$, while the case $k=5$ and $n \equiv 0 \pmod{4}$ remained open, apart from two sporadic examples with $n=8,16$. In this article, we consider this open problem and we construct an $\mathrm{H}_5(n;5)$ for every $n\equiv 0 \pmod{4}$, $n\geq 12$. As a consequence, the existence problem of integer relative $\mathrm{H}_k(n;k)$ is completely settled.
Turán problems with bounded matching number in $k$-uniform hypergraphs
For a family $\mathcal{F}$ of $k$-graphs,
$\ex_k(n,\mathcal{F})$ denotes the maximum number of edges in an $n$-vertex
$\mathcal{F}$-free $k$-graph. Let $M_{s+1}^k$ denote a matching of size $s+1$ in $k$-uniform hypergraphs. Recently, Alon and Frankl (JCTB, 2024) determined $\ex_2(n,\{M_{s+1}^2,K_{\ell+1}\})$
for all $n\geq 2s+1$ and $\ell\geq 2$. For every non-bipartite graph $F$, Gerbner (JGT, 2024) determined $\ex_2(n,\{M_{s+1}^2,F\})$ for sufficiently large $n$. In this paper, we investigate this problem for different ranges of the matching parameter. First we prove that for every graph $F$ with $χ(F)>3$, there exist constants $β>0$ and $s_0$ such that $\ex_k(n,\{M^2_{s+1}, F\})=\ex_2(2s+1,F)$ for $\max\{s_0,n/2-βn\}<s<n/2$.
For integers $\ell\ge k\ge3$, let $\mathcal{K}_{\ell+1}^k$ be the family of
all $k$-graphs $F$ with at most $\binom{\ell+1}{2}$ edges for which there is
an $(\ell+1)$-set $L$ such that every pair of vertices of $L$ is covered by
an edge of $F$, and let $H_{\ell+1}^k$ be the $k$-uniform hypergraph obtained from the complete graph $K_{\ell+1}$ by enlarging each edge with a set of $k-2$ new vertices, which is a member of $\mathcal{K}_{\ell+1}^k$.
We determine $\ex_k\bigl(n,\mathcal{K}_{\ell+1}^k\cup\{M_{s+1}^k\}\bigr)$
for $s\leq \frac{n}{8(k-1)^{k-2}(\ell-1)^3}$. For sufficiently large $s$, we also determine $\ex_k\bigl(n,\{M_{s+1}^k,H_{\ell+1}^k\}\bigr)$
for $\frac{n}{k}-βn<s<\frac{n}{k}$ and $s\leq \frac{n}{8(k-1)^{k-2}(\ell-1)^3}$, respectively.
Bounded chromatic number of graphs with small clique number and large minimum degree
We prove that every triangle-free graph with minimum degree at least $\frac{n}{3}$ is $4$-colorable and thereby settle a problem of Brandt and Thomassé (2005) at the threshold $\frac{n}{3}$. The number four is best possible. For a positive integer-valued function $f(n)=o(n)$, we relate the chromatic number of $f(n)$-vertex subgraphs of the Kneser graph $KG(n,f(n))$ to that of triangle-free graphs with minimum degree at least $\frac{n}{3}-f(n)$. Consequently, for every $0<δ<1$ and $\varepsilon>0$, and for all sufficiently large $n$, every $n$-vertex triangle-free graph with minimum degree at least $\frac{n}{3}-n^{1-δ}$ has chromatic number at most $10^{391}+1+\left\lceil{(1+\varepsilon)(1-δ)}/δ\right\rceil$.
We also show that every sufficiently large $n$-vertex maximal triangle-free graph with minimum degree at least $\frac{n}{3}-f(n)$ and chromatic number at least $10^{391}$ contains a bipartite subgraph with parts of orders $\frac{n}{3}-O(f(n))$ and $\frac{2n}{3}-O(f(n))$; the remaining induced subgraph admits a homomorphism to $KG(\frac{n}{3}-O(f(n)),O(f(n)))$. Finally, we connect maximal $K_r$-free graphs with minimum degree at least $\frac{2r-5}{2r-3}n-f(n)$ to $K_{r-1}$-free graphs and extend these results to $K_r$-free graphs. Our proofs employ the recent strong Brandt--Thomassé theorem of Łuczak, Polcyn, and Reiher.
Intersections of Directed Graphs
Given two weighted directed graphs of order \(n\), we study how much their overlap can deviate from its random average under relabelling, and how concentrated the distribution of their intersection is when they are placed at random. Bollobás and Scott studied these problems on weighted $k$-uniform hypergraphs and raised the corresponding questions for directed graphs. In this paper, we study these problems for weighted directed graphs and obtain results analogous to those in the weighted hypergraph setting.
Extremal spectral result of outerplanar graphs without $P_{3\cdot l}$
A graph $G$ is $F$-free if it does not contain $F$ as a subgraph. Let $\mathrm{spex}(n,F)$ be the maximum spectral radius over all $n$-vertex $F$-free outerplanar graphs. For integers $t\geq1$ and $l\geq2$, let $P_{t\cdot l}$ be the starlike tree with $t$ branches of length $l-1$. For sufficiently large $n$, Yin, Li, and Meng [arXiv:2504.04364v1] characterized the unique extremal graph for $\mathrm{spex}(n,P_{t\cdot l})$ when $t=1$, $t=2$, or $t\geq4$. They left the case $t=3$ open and proposed a natural candidate for the extremal graph. We show that this candidate is not extremal and determine the unique extremal graph for $\mathrm{spex}(n,P_{3\cdot l})$. For every $l\geq3$ and all sufficiently large $n$, this unique extremal graph is $K_1\vee\bigl(2P_{2l-3}\cup qP_{l-2}\cup P_r\bigr),$ where $q$ and $r$ are integers satisfying $n=2(2l-3)+q(l-2)+r+1,$ $q\geq0,$ $0\leq r<l-2.$
Graph Decompositions at the Expectation Threshold
For \(n\ge3\) and a graph \(H\) on at most \(n\) vertices, let \(q(H)\) be the expectation threshold for its containment in \(G(n,p)\). We prove that there are absolute constants \(a,L>0\) such that, for every \(C>0\), every graph of degeneracy at most \(C\log n/\log\log n\) has a deterministic edge decomposition into at most \(\lceil a(C+1)\rceil\) pieces, each with ordinary containment threshold at most \(Lq(H)\). This removes the maximum-degree hypothesis from a theorem of Ascoli, He, Park, and Talagrand in their approach to Talagrand's discrete convexity problem. With constants depending on the fixed parameters, a structural extension allows the addition of \(O(\log n)\) vertices with arbitrary incident edges. The uniform main bound also gives an \(O(1+\log\log n)\)-piece decomposition for every target graph, with an absolute threshold multiplier. The main ingredient converts Li's two-set coupling for spread measures into a partition of a prescribed neighborhood list, fixed before the random host is sampled. It allows arbitrary overlaps and repetitions and controls all Hall matching conditions simultaneously by bounding target demand and host supply through common two-sided approximations under the biased host measure.
The realization graph of every degree sequence has a Hamilton path
For a degree sequence $d$, the realization graph $\mathcal{G_F}(d)$ is the graph whose vertices are the labeled realizations of $d$, two of which are adjacent if they differ by a single $2$-switch. We prove that for every degree sequence $d$ and every realization $S$ of $d$, the graph $\mathcal{G_F}(d)$ contains a Hamilton path starting at $S$. This answers a question of Barrus (2016), which was also raised independently by Mütze (2023) in his survey of combinatorial Gray codes. As a consequence, an embedding observation of Arikati and Peled (1999) implies that for any vectors $R$ and $C$ of non-negative integers, the interchange graph $\mathcal{A}_{\mathcal F}(R,C)$ of $(0,1)$-matrices with row sums $R$ and column sums $C$ contains a Hamilton path starting at any prescribed matrix, thereby resolving a question of Brualdi (1980).
Independent Set Reconfiguration via Dilworth Decompositions
The Token Jumping and Sliding Token problems are fundamental reconfiguration problems defined on the independent sets of an undirected graph. Given two independent sets $I$ and $J$, each of size $k$, these problems ask whether there exists a sequence of elementary operations transforming $I$ into $J$ such that every intermediate configuration is also an independent set of size $k$. Suppose a token is placed on each vertex of $I$: in Sliding Token, an operation moves a token from a vertex $u \in I$ to an adjacent vertex $v \notin I$; in Token Jumping, the token may instead move to any vertex $v \notin I$. While both problems are $\mathsf{PSPACE}$-complete on general graphs, polynomial-time algorithms for one or both variants have been developed for several graph classes, including trees, block graphs, bipartite permutation graphs, cographs, $P_4$-tidy graphs, and interval graphs.
In this paper, we prove that both problems are solvable in polynomial time on threshold signed graphs, also known as Dilworth-2 graphs. A graph $G=(V,E)$ is a threshold signed graph if there exist a mapping $a:V\to\mathbb{R}$ and positive real constants $S,T>0$ such that $|a(v)|< \min\{S,T\}$ for all $v \in V$, and for any distinct vertices $u,v\in V$, $\{u,v\}\in E$ if and only if $|a(u)+a(v)|\ge S$ or $|a(u)-a(v)|\ge T$. More generally, we also show that Token Jumping can be solved in time $n^{O(\mathcal{D}(G))}$, where $\mathcal{D}(G)$ denotes the Dilworth number of $G$. Thus, Token Jumping belongs to $\mathsf{XP}$ when parameterised by the Dilworth number.
This graph class is a subclass of permutation graphs, for which the complexity of these problems remains open, and is incomparable with the class of bipartite permutation graphs studied by Fox-Epstein et al. (ISAAC, 2015).
Geometric Complexity Theory and Graph Isomorphism
We investigate ideas from the Geometric Complexity Theory approach to separating complexity classes (Mulmuley & Sohoni, SIAM J. Comput., 2001) in the setting of graph isomorphism. This provides us a playground of finite combinatorial objects on which to explore these techniques. We seek to separate non-isomorphic pairs of graphs using vector spaces of polynomials that are set-wise invariant under permutations (so-called separating modules). We characterize the power of this method for distinguishing graphs under several different complexity measures:
- We show that separating modules of "support-degree" $k$ are equivalent in power to the counts of $O(k)$-vertex subgraphs.
- We show that separating modules of symmetric algebraic circuit size $n^{Θ(k)}$ are equivalent to $Θ(k)$-dimensional Weisfeiler-Leman. This generalizes and strengthens the result of Dawar & Wilsenach (CSL '18; ICALP '20; ACM Trans. Comput. Log., 2022; Theory Comput., 2025).
- When considering only the representation-theoretic multiplicities of separating modules, we show that two graphs are separated by multiplicities if and only if their automorphism groups have different multiplicity of cycle types (cycle index).
The latter result is notable in the analogy with GCT, as it is the only result we are aware of in which the multiplicity approach to separating isomorphism types of objects has been given an "intrinsic" characterization in terms of the objects themselves. We show that for graphs, multiplicity obstructions are stronger than occurrence obstructions. We also connect support size (from the study of WL) to complexity measures on $S_n$ (Dafni, Filmus, Lifshitz, Lindzey, & Vinyals, ITCS '21); as well as connections between invariant polynomials, the Graph Reconstruction Conjectures, and Forman's "invariants of finite type" (Adv. Math., 2004).
An Ore-type Theorem for Oriented Discrepancy of Hamilton Cycles
Oriented graph discrepancy problems focus on finding specific subgraphs within a given oriented graph $G$ that contain a significant number of edges in one direction. Gishboliner, Krivelevich, and Michaeli initiated the study of oriented discrepancy for Hamilton cycles, and Freschi and Lo subsequently proved a sharp minimum-degree theorem and asked for an Ore-type analogue. For an oriented graph $G$ on $n$ vertices, define $σ_2(G):=\min\{d_G(x)+d_G(y):x\neq y,\ xy,yx\notin E(G)\},$ with $σ_2(G):=2(n-1)$ when $G$ is a tournament. Given a cycle $C$ in an oriented graph, let $σ_{\max}(C)$ denote the maximum number of edges oriented consistently with one of the two traversal directions of $C$. We prove that for every $γ>0$ there exists $n_0$ such that every oriented graph $G$ on $n\geq n_0$ vertices with $σ_2(G)\geq n$ contains a Hamilton cycle $C$ satisfying $$ σ_{\max}(C)\geq\max\left\{\frac n2,\frac{σ_2(G)}2-γn\right\}. $$ This partially answers a question of Freschi and Lo and gives an asymptotic affirmative answer to a conjecture of Ai et al. The bound is asymptotically best possible.