math.CO ↗ arXiv
7121 papers in this category
Promotion and rowmotion in rational Catalan combinatorics
We study four bijections, which are promotion, evacuation, rowmotion, and rowvacuation, on generalized Dyck paths in rational Catalan combinatorics. We define the maps on generalized Dyck paths, which have their origins in maps on Dyck paths and non-crossing partitions. They include rotation, Kreweras complement map, Simion--Ullman involution on non-crossing partitions, and Lalanne--Kreweras involution on Dyck paths. These maps have an expression in terms of the four combinatorial bijections. By extending the bijection studied by D. Armstrong, C. Stump, and H. Thomas on one hand, and the correspondence of RSK type studied by B. Adenbaum and S. Elizalde on the other, we present the equivalence between the two bijections, promotion and rowmotion, on generalized Dyck paths through these bijection and correspondence. For this purpose, we provide an alternative description of the correspondence of RSK type in terms of Dyck tilings.
Lattice Structure and Efficient Basis Construction for Strongly Connected Orientations
Published
• View Publication
• BIB
Let $\vec{G}=(V,E^+\cup E^-)$ be a bidirected graph whose underlying undirected graph $G=(V,E)$ is $2$-edge-connected. A strongly connected orientation (SCO) is defined as a subset of arcs that contains exactly one of $e^+,e^-$ for every $e\in E$ and induces a strongly connected subgraph of $\vec{G}$. Given a family $\mathcal{F}$ of proper subsets of $V$, we call an SCO tight if there is exactly one arc entering $U$ for every $U\in \mathcal{F}$. We give a polynomial-time algorithm to construct a set $\mathcal{B}$ consisting of tight SCO's which forms an integral basis for the linear hull of tight SCO's. This means that $\mathcal{B}$ is a linearly independent subset of tight SCO's, and every integer vector in the linear hull of tight SCO's can be written as an integral combination of $\mathcal{B}$. This extends the main result of Abdi, Conuéjols, Liu and Silina (IPCO 2025), who gave a non-constructive proof of the existence of such a basis in an equivalent setting. While their proof uses polyhedral theory, our proof is purely combinatorial and yields a polynomial-time algorithm. As an application of our algorithm, we show that parity-constrained tight strongly connected orientation can be solved in deterministic polynomial time. Along the way, we discover appealing connections to the theory of perfect matching lattices.
Constructing, Classifying and Studying the Space of Small Integer Weighing Matrices
Published
• View Publication
• BIB
Integer weighing matrices (IW-matrices for short) are integer valued orthogonal square matrices. One usecase of these is to create classical weighing matrices with various block structures. In this paper we study and classify the space $IW(n,k)$ of the integer weighing matrices of small size $n\times n$ and weight $k$. Our classification includes a full list of all inequivalent matrices up to Hadamard equivalence and automorphism groups. We then continue to a secondary classification of the symmetric and antisymmetric IW up to symmetric Hadamard equivalence. We apply this to the case of projective space weighing matrices. Next we use the classification to count the cardinality of the spaces of all $IW(n,k)$ as well as the symmetric and anti-symmetric subspace. We supply practical algorithms and implement them in \texttt{Sagemath}. Finding an (anti-)symmetric IW matrix in a given Hadamard class can be done for significantly higher orders. In particular we solve some open cases: Symmetric $W(23,16)$, $W(28,25)$ and $W(30,17)$, and an anti-symmetric $W(28,25)$. We conclude by showing a detailed classification of $IW(7,25)$. We have also improved the \texttt{NSOKS} algorithm to find all possible representations of an integer $k$ as a sum of $n$ integer squares.
The inverse problem for the Steiner--Wiener index via additive number theory
We show that, for any given $k \ge 2$, every sufficiently large number appears as the Steiner--Wiener $k$ index of a graph.
Pretty good plus state transfer in cycles
We investigate fractional revival in graphs with respect to the adjacency, Laplacian, and signless Laplacian matrices. We observe that, under certain conditions, fractional revival is preserved under graph complementation. Then we establish a connection between fractional revival in a graph and in its double cover, and obtain a complete characterization of pretty good plus state transfer in cycles and their complements. This leads to characterizations of pretty good vertex state transfer in weighted paths with potential.
Anticoncentration of random spanning trees in graphs with large minimum degree
A classical result by Otter shows that the complete graph has an exponential number of non-isomorphic spanning trees. This was recently extended by Lee to every almost regular graph of sufficiently large degree.
In this paper, we consider graphs of large minimum degree. We show that every connected graph $G$ with $n$ vertices and minimum degree $d$ has at least $n^{Ω(d)}$ non-isomorphic spanning trees. This is tight up to the constant factor in the exponent. In fact, we prove the following anticoncentration result: if $\mathcal{T}$ is a uniformly random spanning tree of $G$, then for every tree $T$, the probability that $\mathcal{T}$ is isomorphic to $T$ is at most $n^{-Ω(d)}$. This proves a conjecture of Lee in a strong form.
On the number of inequivalent linearized Reed-Solomon codes
Linearized Reed-Solomon (LRS) codes form an important family of maximum sum-rank distance (MSRD) codes that generalize both Reed--Solomon codes and Gabidulin codes. In this paper we study the equivalence problem for LRS codes and determine the number of inequivalent codes within this family. Using the correspondence between sum-rank metric codes and systems of $\mathbb{F}_q$-subspaces, we analyze the stabilizer of the Gabidulin system and derive a characterization of equivalence between LRS codes. In particular, we prove that two LRS codes are equivalent if and only if the sets of norms that define the codes coincide up to multiplication by an element of $\mathbb{F}_q^\ast$. This description allows us to reduce the classification problem to the action of $\mathbb{F}_q^\ast$ on subsets of $\mathbb{F}_q^\ast$. As a consequence, we derive formulas for the number of inequivalent linearized Reed-Solomon codes and illustrate the results with explicit examples.
The asymptotic version of the Erdős-Sós conjecture and beyond
Published
• View Publication
• BIB
Klimošová, Piguet, and Rozhoň conjectured that any graph with minimum degree $k/2$ and sufficiently many vertices of degree $k$ should contain all trees with $k$ edges. We prove an asymptotic version of this conjecture for dense host graphs. We obtain interesting corollaries: the first is an asymptotic version of the Erdős--Sós conjecture for dense host graphs, which works without any bounded-degree restriction on the guest trees. Secondly, by leveraging recent results by Pokrovsky, we can translate our results to sparse host graphs in the case of bounded-degree guest trees.
Tangle structure trees II: trees of tangles and tangle-tree duality
Tangle structure trees, introduced in [3], offer a unified data structure that displays all the tangles of a graph or data set together with certificates for the non-existence of any other tangles, either locally or overall. In this paper we apply tangle structure trees to derive new versions of the two fundamental tangle theorems: the tree-of-tangles theorem, and the tangle-tree duality theorem.
We extend the tree-of-tangles theorem to $\mathcal F$-tangles that need not be profiles. When $\mathcal F$ consists of stars of separations, as it does in classical tangle-tree duality theorems, we show how to convert tangle structure trees that certify the non-existence of $\mathcal F$-tangles into tree-decompositions that certify this in the way known from graph tangles, as $S$-trees over~$\mathcal F$.
Explicit Betti Numbers for Skeletons of Chordal Clique Complexes and Their Alexander Duals
We study the homological properties of $Δ_{\mathbf{r}}(n_1, \dots, n_e)$, a simplicial complex formed by sequentially gluing complete graphs along $(r_i-1)$-simplices. This construction generates precisely the chordal clique complexes, whose Stanley-Reisner ideals admit 2-linear resolutions. By computing the $f$-vector and evaluating the Hilbert series, we establish explicit graded Betti numbers for all $k$-skeletons. We show that the regularity of these skeletons is $k+1$ and the projective dimension stabilizes at $N_{\mathbf{r}} - r_{\min} - 1$ for $k \ge r_{\min}$, providing a complete classification of when the complex is Cohen-Macaulay, sequentially Cohen-Macaulay, or initially Cohen-Macaulay. We also obtain explicit formulas for the ring multiplicity and reduced Euler characteristic. Applying Alexander duality, we derive the $f$-vector, rational $h$-polynomial, and exact graded Betti numbers of the dual and its skeletons. Furthermore, analyzing these dual skeletons yields a family of complexes that resolve recent open bounds on regularity. Finally, equating the topological and rational evaluations of the Hilbert series produces a new family of combinatorial binomial identities.
Algorithms for the Generation of Snarks
The essential requirement for a cubic graph to be called a snark is that it can not be edge-coloured with three colours. To avoid trivial cases, varying
restrictions on the connectivity are imposed. Snarks are not only interesting in themselves, but also a
valuable test field for conjectures about graphs that are not snarks and sometimes not even cubic. For many important open problems in graph
theory it is proven that minimal counterexamples would be snarks.
We give two new algorithms for the generation of snarks and results of computer programs implementing these algorithms. One algorithm is for snarks with girth
exactly 4 and is used for generating complete lists of girth 4 snarks on up to 40 vertices. The second algorithm lists snarks with girth at least 5 and is used
for generating complete lists of such snarks on up to 38 vertices. We also give complete lists of strong snarks (in the terminology of Jaeger)
on up to 40 vertices.
Parry condition, existence and uniqueness of alternate bases
Alternate bases are a numeration system that generalizes the Rényi numeration system. It is common in this context to construct examples or counter-examples by specifying the expansions of $1$ in the desired system. While it is easy to show when a system with given expansions of $1$ exists in the Rényi case, the same is not true in the alternate case. In this article, we establish conditions for given words to be the expansions of $1$ in the alternate case. To do so, we use a fixed point theorem on matrices defined from the expansions and obtain the elements of the base from the components of the fixed point. We also obtain a partial result for the uniqueness of such a base. In the latter parts of the article, we use similar techniques to prove the existence of bases with a given sequence of $B$-integers.
Decay of correlations and zeros for the hard-core model
In a recent paper the last author proved that absence of complex zeros of the partition function of the hard-core model near a parameter $λ>0$ implies a form of correlation decay called strong spacial mixing. In this paper we investigate the reverse implication. We introduce a strengthening of strong spatial mixing that we call very strong spatial mixing (VSSM).
Our main result is that if VSSM holds at a parameter $λ>0$ for a family of graphs, this implies that the partition function has no zeros near that parameter for each graph in the family. We also demonstrate that a closely related variant of very strong spatial mixing does not imply zero-freeness. As a consequence of our main result, we moreover obtain that VSSM implies spectral independence. Our proof relies on transforming the problem to the analysis of an induced non-autonomous dynamical system given by Möbius transformations.
Mysterious points in keys but not trees
The deep locus of a cluster variety is defined to be the set of its points that do not belong to any cluster torus. We show that, if the cluster variety has a seed whose mutable part is a tree without multiple edges, then the deep locus can be characterized as the set of points whose stabilizer under a certain group action is nontrivial. Deep points without a stabilizer are called mysterious. We establish that many other classes of acyclic quivers (including keys) often have mysterious points. This refutes Conjecture 1.1 of arXiv:2402.16970, but establishes it in many important cases.
On The Secure Domination of Mycielskian Graphs
We study the secure domination number of the Mycielskian graph of a simple, connected, undirected graph. We give generally applicable bounds, compute secure domination numbers for Mycielskians of important families of graphs, and construct families of graphs realizing particular values of (secure) domination parameters.
Outer and inner medians in some small lattices
By median we mean a scheme that inputs three element of a lattice, and outputs an element that is an average of the three inputs in a certain sense. The medians of a given finite lattice form a new lattice that is usually larger than the original, but generates a (not necessarily strictly) smaller variety. A median is called inner if it is a term function. The inner median lattice is closely related to the symmetric part of the equational basis of the lattice. We determine the outer and inner median lattices of all lattices of at most six elements.
The Ferrers bound for spanning trees in bipartite graphs
We prove Ehrenborg's conjecture that every connected bipartite graph $G$ with parts of size $m$ and $n$ has at most $\frac{1}{mn}\prod_{v\in V(G)} \operatorname{deg}(v)$ spanning trees, and that equality holds if and only if $G$ is a Ferrers graph. The proof is fully formalized in Lean 4.
On the Extension Theorem for Packing Steiner Forests
We consider the problem of packing edge-disjoint Steiner forests in a graph. The input consists of a multi-graph $G=(V,E)$ and a collection of $h$ vertex subsets $S = \{S_1,S_2,\ldots,S_h\}$. A Steiner forest for $S$, also called an $S$-forest, is a forest of $G$ in which each $S_i$ is connected. In the case where $h=1$, this is the Steiner Tree packing problem. Kriesell's conjecture postulates that $2k$-edge-connectivity of $S_1$ is sufficient to find $k$ edge-disjoint $S_1$-trees. Lau showed that $24k$-edge-connectivity suffices for the Steiner Tree packing problem, which was improved to $6.5k$ by West and Wu and $5k+4$ by Devos, McDonald and Pivotto. In his thesis, Lau asserts that for the Steiner Forest problem, if each $S_i$ is $30k$-edge-connected in $G$, then there exist $k$ edge-disjoint $S$-forests. However, Lau's proof relies on an intermediate theorem called the Extension Theorem, which in this paper we will demonstrate has a gap by providing a counterexample to Lau's Extension Theorem. Furthermore, we will resolve this gap by correcting Lau's proof to show that $36k$-edge-connectivity of each $S_i$ suffices to pack $k$ $S$-forests. More careful analysis yields that $35k$-edge-connectivity of each $S_i$ is sufficient when $k \geq 8$.
A family of Neumaier graphs containing examples with exactly five eigenvalues
A Neumaier graph is an edge-regular graph with a regular clique. Such a graph is said to have parameters $(v,k,λ;e,s)$ if it is a $k$-regular graph on $v$ vertices having a clique of size $s$ such that every edge is contained in $λ$ triangles and every vertex outside $C$ is adjacent with exactly $e$ vertices inside $C$. It was an open problem whether Neumaier graphs can exist with exactly five eigenvalues. In the present paper, we describe a family of Neumaier graphs, and show that inside this family there are 1063 nonisomorphic Neumaier graphs with parameters $(v,k,λ;e,s)=(48,14,2;1,4)$, among which 25 have exactly five eigenvalues. These 1063 graphs are also the first known examples of Neumaier graphs for the mentioned parameters.
A Brooks-type theorem for the k-choosability of graphs with maximum local edge-connectivity k
For a graph $G$ with at least two vertices, the maximum local edge-connectivity of $G$ is the maximum number of edge-disjoint $(u,v)$-paths over all distinct pairs of vertices $(u,v)$ in $G$. Stiebitz and Toft (2018) proved a Brooks-type theorem for graphs with maximum local edge-connectivity $k$, showing that a graph with maximum local edge-connectivity $k$ is not $k$-colourable if and only if it has a block in $\mathcal{H}_k$, which is the class of graphs that can be obtained by taking Hajós joins of copies of $K_{k+1}$ and, when $k=3$, odd wheels. We prove that a $2$-connected graph with maximum local edge-connectivity $k$ is $k$-choosable if and only if it is not in $\mathcal{H}_k$. On the other hand, deciding $k$-choosability when restricted to graphs with maximum local edge-connectivity $k$ (that might not be $2$-connected) is $Π_2$-complete. To prove the former result, we first prove several generalisations of a well-known characterisation of degree-choosability; these may be of independent interest.