math.CO ↗ arXiv
5274 papers in this category
Two Arc-Disjoint Hamiltonian Paths in Finite Two-Generated Abelian Cayley Digraphs
We prove the finite abelian two-generator conjecture of Darijani--Miraftab--Witte Morris: every directed Cayley digraph on a finite abelian group with two distinct nonzero generators has two arc-disjoint Hamiltonian paths. The proof uses a cut-reflection theorem for Hamiltonian cut values in the family Cay(Z_k; a, a+1): if Z is the set of such values and N=k-1, then, with N-Z={N-z : z in Z}, dist(Z,N-Z)<=1. The proof uses sector-filling inequalities for primitive-ray multiplicities and an extremal graph recording pairs at minimal reflected distance. The estimate is sharp modulo parity: exact reflection occurs for odd k, while distance one occurs for even k. The second remaining cyclic family, Cay(Z_k; -a, a+1), is treated by an explicit quotient--fiber construction. We also prove the remaining three-factor case for Cartesian products of directed cycles. Together with the two-factor and at-least-four-factor theorems of Darijani--Miraftab--Witte Morris, this resolves their directed-cycle product conjecture for all numbers of factors.
Relations between categorifications of higher-dimensional type $A$ cluster combinatorics
We consider three categories arising from the higher Auslander algebras of type $A$ in relation to $d$-dimensional cluster combinatorics: $d$-exact subcategory of the module category of $A^d_{n+1}$ generated by the $d$-cluster-tilting object, the $(d+2)$-angulated cluster category, and the $d$-almost positive subcategory of the derived category (the higher analogue of the category of two-term complexes of projectives). We show that the third one, introduced by the second-named author, is the $d$-exangulated quotient of the other two, introduced by Oppermann and Thomas, by the ideals generated by morphisms factoring through morphisms from injective to projective objects, thus providing an algebraic connection between the two models of Oppermann-Thomas. This is a $d$-exangulated version in type $A$ of a result of Brüstle and Yang and its interpretation by the first-named author together with Fang, Palu, Plamondon and Pressland. It also explains a well-known coincidence between the number of 2-term silting complexes in type $A_{n}$ and of tilting modules in type $A_{n+1}$ from the $0$-Auslander perspective. We expect this to serve as a prototypical example of the $0$-Auslander correspondence in higher homological algebra.
Explicit class of finite-dimensional polynomial algebras with Wronskians over $\mathbb{R}^d$ as $N$-ary Lie brackets: beyond $\mathfrak{sl}(2)$
Lie algebra $\mathfrak{sl}(2)$ can be realised by vector fields on $\mathbb{R}^1\ni x$ with polynomial coefficients $1$, $-2x$, $-x^2$; their Wronskian determinants yield the Lie bracket. Likewise, the monomials $1$, $\ldots$, $x^k/k!$, $\ldots$, $x^N/N!$ span finite-dimensional strong homotopy (SH) Lie algebras with the Wronskians $\mathbf{1} \wedge \partial_x \wedge \ldots \wedge \partial_x^{N-1}$ as the $N$-ary brackets. Over dimension $d=2$ with $\mathbb{R}^2\ni(x,y)$ and for the generalised complete Wronskian $W^{d=2}_{k=1}=\mathbf{1}\wedge \partial_x \wedge \partial_y$ of differential order $k=1$ as the ternary bracket, the finite-dimensional polynomial SH-Lie algebras are spanned by $\langle 1$, $x$, $y$, $p\rangle$ with $p\in\{x^2$, $xy$, $y^2\}$. We explicitly describe all finite-dimensional polynomial SH-Lie algebras $\Bbbk_k[{\boldsymbol{x}}]\subseteq \mathcal{A} \subseteq \Bbbk[x^1,\ldots,x^d]$ (over $\Bbbk=\mathbb{R}$ or $\mathbb{C}$) with the complete generalised Wronskians $W^{d\geqslant 1}_{k\geqslant 1}$ of order $k$ as $N$-ary bracket: $N=\binom{d+k}{d}$. We obtain a factorisation formula for the generalised Vandermonde determinants which show up in the structure constants of the polynomial algebras $\mathcal{A}$.
Triangle Families with Large Edge Up-Laplacian Spectral Gap
Let $\mathcal{T}$ be a finite nonempty set of $3$-element subsets of a totally ordered set $V$. We view $\mathcal{T}$ as the set of triangles in the support graph. Let $δ_{1,\mathcal{T}}$ be the signed edge-triangle incidence matrix, and $λ(\mathcal{T})$ the spectral gap of $δ_{1,\mathcal{T}}^Tδ_{1,\mathcal{T}}.$
Our main results show that large $λ(\mathcal{T})$ forces strong overlap and a large minimum degree in the support graph. In particular, every support edge lies in at least $\lceil λ(\mathcal{T})\rceil-2$ triangles in $\mathcal{T}$ and hence the graph has minimum degree at least $\lceil λ(\mathcal{T})\rceil-1$. We further prove that $\binom{n}{3}$ is the exact threshold for attaining level $n:$ if $|\mathcal{T}|< \binom{n}{3}$, then $λ(\mathcal{T}) \leq n-1,$ while if $|\mathcal{T}|=\binom{n}{3}$ and $λ(\mathcal{T}) > n-1,$ then $\mathcal{T}$ is exactly the full set of triangles on an $n$-vertex clique. Moreover, this clique peak is isolated in a strong interval-scale sense: letting $φ(t)=\max_{|\mathcal{T}|=t} λ(\mathcal{T})$, immediately above $\binom{n}{3}$ there is a forbidden interval on which $φ(t) \leq n-1$, and the first passage above the level $n-1$ is delayed by $Θ(n^2)$ additional triangles. Since $\binom{n+1}{3} - \binom{n}{3}=Θ(n^2),$ this implies that after the peak at $\binom{n}{3}$ one must traverse a nonzero proportion of the full gap until the next clique threshold before substantial recovery can occur. In particular, $φ$ is not monotone. However, $φ(t)=Θ(t^{\frac{1}{3}}).$
Finally, if $Λ(t):=\max_{1 \leq s \leq t}φ(s),$ then $Λ(t)=\max\{n \in \mathbb{N}:\binom{n}{3} \leq t\}.$ Thus complete triple systems are the unique minimal spectral extremizers, but their peaks are isolated on the natural scale between consecutive clique thresholds.
Discrete Knot Theory via Lattice-Filtered Move Graphs
We introduce lattice-filtered move graphs as finite-state experimental models for knot types. At level N, vertices are lattice-polygon representatives of a fixed knot type with lattice length at most N, modulo orientation-preserving lattice isometries, and edges are prescribed local moves. Connected components of these graphs are discrete analogues of admissible components in ropelength-filtered knot spaces. The first level at which two initial components become connected defines a discrete merge scale; after subtracting the birth level, the resulting function is an ultrapseudometric whenever the relevant initial components eventually merge.
The general framework is move-system independent. We then specialize to the simple cubic lattice and BFACF-type moves, treating BFACF as a chosen local move system rather than as a complete lattice-isotopy calculus. The main seed-generated computation uses a 30-edge simple cubic lattice seed for the figure-eight knot and its reflected mirror seed. With mirror symmetries not identified, the two BFACF components are separated at N=30 and merge at N=32. We also extract an explicit merge certificate: a 21-state, 20-move BFACF path through a 32-edge connecting state. Thus, relative to the supplied seeds and the BFACF move system, the seed-generated merge scale is 32. The result is seed-specific and move-system-specific, not a claim about the global merge matrix of the full minimal lattice layer.
On partial groups of small order
There are 123,650 partial groups of order at most 9 and 178,937,003 partial groups of order 10. We explain a computer enumeration of these results and provide a complete list of indecomposable partial groups of order at most 5. We also indicate results that were discovered through computational experiments.
A note on integer programming methods for mixed radial Moore graphs
Mixed radial Moore graphs are approximations of mixed Moore graphs that preserve the distance-preserving spanning tree for some vertices. One way to measure their resemblance to a mixed Moore graph is using the status measure. The status of a graph is defined as the sum of the distances between all pairs of ordered vertices. Mixed radial Moore graphs with minimum status are closer to mixed Moore graphs according to this measure. The existence of mixed radial Moore graphs is still unknown for most values of the degree and the diameter. In this work, we develop an integer programming model (IP) to find mixed radial Moore graphs of diameter 3 with minimum status. As a result, we show the existence of these graphs for several new values of the degree and the diameter.
On modular inequalities for plane projective curves
We introduce modular inequalities for complements of plane curves, based on a Combinatorial Aomoto complex construction associated with the weak combinatorial type of a curve. We use this as a tool to investigate twisted Alexander polynomials, in particular to study the characteristic polynomial of the Milnor fiber associated to a projective plane curve, i.e. the classical Alexander polynomial. We give criteria for the non-triviality of the resonance in degree $1$, over a positive characteristic field, for curves with quasi fiber--type structure and we compute lower bounds for the multiplicities of some roots of twisted Alexander polynomials for this type of curves. We apply these results to theoretically compute the multiplicities of certain roots of twisted Alexander polynomials for fiber--type curves.
The Fujimoto Conjecture via Total Positivity
H. Fujimoto showed that for a complete minimal surface in $\mathbb{R}^m$, if the Gauss map is non-degenerate, then it omits at most $\frac{m(m + 1)}{2}$ hyperplanes in the complex projective space $\mathbb{P}^{m - 1}$ in general position, and that the number $\frac{m(m + 1)}{2}$ is best possible for all odd integers $m \geq 3$ and for even integers with $4 \leq m \leq 16$. In this paper, we prove that the number $\frac{m(m + 1)}{2}$ is also best possible for all even integers $m \geq 4$, as conjectured by Fujimoto. The main tool is a special planar network $(Γ_0, ω)$ in the theory of positive matrices.
On planar functions over $\mathbb{F}_{q^3}$
Let $\mathbb{F}_q$ denote the finite field of order $q$. For $q$ odd, we investigate the planarity over $\mathbb{F}_{q^3}$ of the family
$$
f_{E,A,B,C,D}(X) := EX^2+ AX^{q+1}+ BX^{q^2+1}+CX^{2q} +DX^{2q^2}\in \mathbb{F}_{q}[X].
$$
Using results from the theory of q-polynomials, we establish conditions under which these polynomials are planar functions. In particular, we provide characterizations for the planarity property and present new families of planar trinomials, quadrinomials, and pentanomials.
Flag positroid pipe dreams
We introduce flag positroid pipe dreams (FPPs), whose role in the study of complete flag positroids is analogous to the role of Le-diagrams in the study of positroids. We develop the combinatorics of these diagrams and highlight some of their properties. FPPs are in bijection with intervals in the Bruhat order of the symmetric group, and the number of elbows in an FPP is the dimension of the corresponding Richardson cell in the decomposition of the nonnegative flag variety. We show how complete flag positroids can be built rank by rank via FPPs, and how the Le-diagrams of the positroid constituents of the flag can be obtained from the FPP via a simple standardization operation. Using partial FPPs, we give an alternative proof of a conjecture of Benedetti, Chavez, and Tamayo on the problem of characterizing elementary positroid quotients via cyclic shifts of decorated permutations, in the nonnegatively representable case. Our proof partially addresses a problem of Chen et al. regarding an explicit characterization of the cyclic shift operators purely in terms of decorated permutations. We show that the poset of nonnegatively representable elementary positroid quotients is self-dual. The maximal chains of this poset are in bijection with FPPs.
A discrepancy dichotomy for 1-factorizations of signed complete bipartite graphs
Given a signing $σ\colon E(K_{n,n})\to\{-1,+1\}$ of the complete bipartite graph, when does $K_{n,n}$ admit a $1$-factorization in which every perfect matching has discrepancy bounded below by a positive absolute constant?
Unlike the complete-graph case resolved by Ai, He, Im, and Lee, the bipartite setting carries an unavoidable obstruction: any balanced one-sided signing -- one whose edge signs depend on a single bipartition class, with the two labels split as evenly as possible -- forces every perfect matching to have discrepancy at most $1/n$. We prove that this is essentially the only obstruction:
For every $\varepsilon>0$ there exists $c=c(\varepsilon)>0$ such that, for all sufficiently large $n$, every signing of $K_{n,n}$ either
(i) admits a $1$-factorization in which every perfect matching has discrepancy at least $c$, or
(ii) is $\varepsilon$-close, in normalized Hamming distance, to a balanced one-sided signing.
A key ingredient is a spectral stability argument forcing the sign matrix to be close to a balanced one-sided pattern when both the overall discrepancy and the density of local switching patterns are small.
Lipschitz Functions on Sparse Graphs II
Korsky, Saffat and Aiylam introduced a growth constant $c(G)$ for integer-valued $h$-Lipschitz functions on a finite graph $G$ and proved that, for $G=G(n,d/n)$, \[
\frac{1}{2d}+O(d^{-2})\le \log c(G)\le
\frac{4\log^2 d}{d}+O(d^{-1}) \] with high probability. We sharpen the random-graph part of their result; as $n\to\infty$ and then $d\to\infty$, we prove \[
\log c(G)=\frac{π^2}{6d}+o(d^{-1}) \] with high probability. Additionally, we derive bounds on $\log c(Q_d)$ where $Q_d$ is the $d$-dimensional hypercube graph: \[
\frac{π^2}{6d}+o(d^{-1}) \le \log{c(Q_d)}\le
\left(\frac{3}{4} + o(1)\right)\frac{\log d}{d}. \]
What if we decompose a simple tone? The Chinese remainder theorem and structured Levi graphs in music
While motivated by structural problems in mathematical music theory, this article introduces a novel combinatorial framework that advances the classification of cyclic cubic bipartite graphs. We extend the classical study of Levi graphs by endowing their vertices with an internal algebraic anatomy -- specifically, treating them not as empty geometric nodes, but as defined subsets of a cyclic base space Z_n. This internal structure allows us to formalize and classify a highly restricted class of graph isomorphisms: those strictly induced by global affine bijections f(x) = ax+b (mod n) operating directly on the underlying base set. By applying this framework to generalized tone networks (Tonnetze) unrolled via the Chinese Remainder Theorem in composite dimensions -- specifically the classic 12-TET (3x4) and the decaphonic 10-TET (2x5) -- we reveal absolute geometric anchors for these spaces, namely the (9,4) and (6,5) systems respectively. We completely classify the topological orbits of these structured graphs, proving a fundamental architectural dichotomy: while the isomorphic landscape of 12-TET splits into an orientation-preserving family and an orientation-reversing chiral mirror (providing a rigorous foundation for musical Negative Harmony), the 10-TET space is unconditionally orientation-preserving. Finally, we demonstrate that these abstract combinatorial properties manifest as rigidly coherent, parallel auditory universes through explicit structural voice-leading maps and acoustic physical modeling synthesis.
Tight cuts in matching covered graphs
An edge cut C of a graph G is tight if |C \M| = 1 for every perfect matching M of G. Barrier-cuts and 2-separation cuts, also referred to as ELP-cuts, are two important types of tight cuts in matching covered graphs. Edmonds, Lovasz and Pulleyblank [Brick decompositions and the matching rank of graphs, Combinatorica 2(3) (1982) 247-274] proved that if a matching covered graph has a non-trivial tight cut, then it also has a non-trivial ELP-cut. In confirmation of a conjecture proposed by Carvalho, Lucchesi and Murty, Chen et. al. [Laminar tight cuts in matching covered graphs, J. Comb. Theory, Ser. B, 150 (2021) 177-194] showed that if C is a non-trivial tight cut of a matching covered graph G, then G has at least one C-sheltered non-trivial barrier or a 2-separation cut that is laminar with C.
In this paper, we present a complete characterization of non-trivial tight cuts in matching covered graphs, from which the result of Chen et. al. can be derived directly. Moreover, we show that the lower bound of the number of C-sheltered non-trivial barrier or a 2-separation cut that is laminar with C in the result of Chen et. al. is sharp.
On the $d$-rigidity phase transition in random graphs
We study generic $d$-dimensional rigidity in sparse random graphs. Our main result is that for every $d\ge 2$, the Erdős--Rényi random graph $G\sim G(n,c/n)$ undergoes a $d$-rigidity phase transition at the known, explicit, $d$-orientability threshold $c_d$: If $c<c_d$, then $G$ is asymptotically almost surely (a.a.s.) independent in the generic $d$-rigidity matroid. Moreover, in this regime $G$ has no linear-size rigidity components: it contains no induced $d$-rigid subgraphs with more than $3$ vertices, and the largest clique in its $d$-rigidity closure has size at most $o(\sqrt n)$. If $c>c_d$, then the $d$-rigidity closure of $G$ a.a.s. has a giant clique of linear size, which contains all but at most $o(n)$ vertices of the $((d+1)+d)$-core of the graph. We also give a sharp asymptotic estimate for the generic $d$-rigidity rank of $G$ in the supercritical regime. More generally, we compute, up to a $1+o(1)$ factor, the generic $d$-rigidity rank of random graphs with a given degree distribution. For example, we show that the uniform $n$-vertex $k$-regular graph a.a.s. has rank $\min(k/2,d)n+o(n).$ Our approach is to estimate the rigidity rank of a random graph from its Galton--Watson local weak limit, using a parameter that we call {\em local flexibility}.
Weighted Clique and Independent Set in Edge-Distant Hereditary Graphs
In this work, we investigate the algorithmic aspects of two natural extensions of hereditary classes: the edge-apex class and the edge-add class, recently introduced by Singh and Sivaraman. These are defined as the graph classes obtained by at most one edge deletion or one non-edge addition, respectively, from a hereditary class $\mathcal{G}$. Building on earlier results showing that both classes remain hereditary and admit finite forbidden induced subgraph characterizations whenever $\mathcal{G}$ does, we focus on the Weighted Maximum Clique Problem (WMCP) and the Weighted Maximum Independent Set Problem (WMISP).
We first present algorithms for WMCP and WMISP on both the edge-apex and edge-add classes of hereditary graph classes. Extending this framework, we introduce the notion of the $\mathcal{G}$-edge distance of a graph $G$, denoted by $ξ_{\mathcal{G}}(G)$, which quantifies how far $G$ is from the class $\mathcal{G}$ in terms of the minimum number of edge deletions or non-edge additions needed to transform it into a member of $\mathcal{G}$.
By parameterizing with respect to this distance, we show that both WMCP and WMISP can be solved in $O^*(2^k)$ time on graphs whose $\mathcal{G}$-edge distance is $k$, provided these problems admit polynomial-time algorithms within the class $\mathcal{G}$. This result extends earlier algorithmic characterizations of the single edge-apex and edge-add classes to the more general setting of $k$-edge-distant graphs. By combining our general results with known properties of transitive graphs, we show that WMCP and WMISP can be solved in $O^*(2^k)$ time for graphs with transitive-edge distance $k$.
A Bruhat order for Latin squares and alternating sign hypermatrices
The Bruhat order on permutation matrices extends to alternating sign matrices via corner-sum matrices, where the order is given by entrywise domination. A classical result of Lascoux and Schützenberger states that alternating sign matrices form the Dedekind-MacNeille completion of the Bruhat order on permutations.
Brualdi and Dahl introduced alternating sign hypermatrices as a three-dimensional analogue of alternating sign matrices and used them to generalise Latin squares, which may be viewed as three-dimensional analogues of permutation matrices.
In this paper, in analogy with the two-dimensional case, we define and study a Bruhat order $\preceq_B$ on Latin squares and alternating sign hypermatrices. We introduce the corresponding corner-sum hypermatrices $\mathcal C_n$ and prove that entrywise domination on $\mathcal C_n$ encodes this order. We show that $\mathcal C_n$ is a distributive lattice, but that, unlike in dimension two, it is not the Dedekind-MacNeille completion of the poset of Latin squares. We further characterise the covering relations for $\mathcal C_n$ and prove rank formulae generalising the classical case of alternating sign matrices. Finally, we define monotone hypertriangles, prove that they are in bijection with $\mathcal C_n$, and show that they also encode the order by entrywise domination.
Characterization of Word-Representable Near-Triangulations
A graph $G=(V,E)$ is said to be word-representable if there exists a word $w$ over the alphabet $V$ such that two distinct letters $x,y\in V$ alternate in $w$ if and only if $xy \in E$. Word-representable graphs form a well-studied graph class with connections to graph orientations, combinatorics on words, and graph coloring.
A near-triangulation is a planar graph in which every face except the outer face is a triangle. Several subclasses of near-triangulations have previously been investigated in the context of word-representability, including polyomino triangulations, triangulations of rectangular polyominoes with a single domino tile, $K_4$-free near-triangulations, face subdivisions of triangular grid graphs, triangulations of grid-covered cylinder graphs, and chordal near-triangulations.
In this paper, we obtain a complete characterization of word-representable near-triangulations in terms of forbidden induced subgraphs. Our result unifies and extends the previously known characterizations for the above subclasses, while also correcting inaccuracies appearing in earlier works.
Amply regular graphs with $μ$ close to half the valency and group divisible designs
In this paper, we classify connected amply regular graphs with diameter $d \geq 4$ and parameters $(v, k, λ, μ)$ satisfying $μ= \frac{k-1}{2}$, where $k\geq 5$ is odd. We prove that such a graph must be exactly one of the following: the $5$-cube, the graph $\K_2 \square Λ$, where $Λ$ is the unique bipartite $(0,2)$-graph on $14$ vertices, or the point--block incidence graph of a group divisible design with the dual property, namely a $GDDDP\left(2, k+1;\, k;\, 0, \frac{k-1}{2}\right)$. For the last family, we give equivalent characterizations in terms of bipartite $Q$-regular graphs and relation graphs of symmetric association schemes with five classes. Furthermore, we present constructions of such amply regular graphs, yielding infinite families of examples derived from Paley graphs, Peisert graphs, and Paley digraphs.