math.CO ↗ arXiv
7121 papers in this category
Betti Numbers of Cut Complexes of Squared Paths and a Recurrence Conjecture
For a graph $G$ on $[n]$, the $k$-cut complex $Δ_k(G)$ has facets $[n]\setminus T$, where $T$ ranges over the disconnected $k$-vertex induced subgraphs of $G$. Bayer, Denker, Jelić Milutinović, Sundaram, and Xue proved that the $k$-cut complex of the squared path $P_n^2$ is shellable for $n\ge k+3$ and conjectured a finite-difference recurrence for its top reduced Betti number along every diagonal $n-k=r$. We prove the recurrence by giving the exact formula $β(k,n)=\binom{n-1}{k-1}-\sum_{j=0}^{\min\{k-1,n-k\}}\binom{k-1}{j}(n-k-j+1)+(n-k)$ for $r=n-k\ge3$. Equivalently, for fixed $r\ge3$, the diagonal sequence $B_r(k)=β(k,k+r)$ is a polynomial in $k$ of degree $r-1$, and therefore $\nabla^rB_r(k)=0$. The proof uses a complementary-face enumeration: among complements with size at least $k$, all bad complements have size $k$ or $k+1$, and they are, respectively, connected $k$-subsets of $P_n^2$ and intervals of length $k+1$. The same formula also proves the conjectural closed forms for $k=4,5$.
Structural Infinite-Exponent Partition Relations and Weak Choice Principles
We investigate infinite-exponent partition relations on arbitrary relational structures, with a focus on linear orders and graphs. Any such relation contradicts the Axiom of Choice. We show that there are some such relations which are consistent with ZF which imply the failure not just of Choice but also of the Kinna-Wagner Selection Principle KWP$_1$ and the Ordering Principle O.
Cyclic Sieving for Strong Dichotomy Enumeration
Agustín-Aquino solved, in terms of the table of marks of $\Aff(\mathbb{Z}/2k\mathbb{Z})$, the problem of enumerating the classes of bicolour self-complementary and rigid patterns in $\mathbb{Z}/2k\mathbb{Z}$ (also known as \emph{strong dichotomy classes}). In particular, the rigid pattern-inventory polynomial appeared, for odd $k$, to yield the number of strong classes with negative sign when evaluated in $-1$, and it was conjectured that this is true for $k$ a power of an odd prime. Here we prove the conjecture is true for $k$ odd in general.
The Finite Length Property of the Rado Graph and Friends
An infinite structure has the finite length property (over a given field) if, for each of its finite powers, chains of equivariant subspaces in the corresponding free vector space are bounded in length. Prior work showed that the countable pure set and the countable dense linear order without endpoints have this property. We generalise these results to (a) any structure approximated by finite substructures with few orbits, provided the field is of characteristic zero, and (b) any Fraïssé limit with free amalgamation in a finite vocabulary consisting of unary and binary relations, possibly expanded with a generic total order. As a special case, we deduce the finite length property of the Rado graph using both methods. We also describe some connections with function spaces, weighted register automata, and orbit-finite systems of linear equations.
Reciprocals of Partition Polynomials
Ballantine--Beck--Feigon--Maurischat introduced the subsum polynomial \[ \operatorname{sp}(λ,x):=\prod_i (1+x^{λ_i}) \] attached to an integer partition $λ$, and studied rational functions obtained by summing reciprocals of these olynomials over natural classes of partitions. They posed ten conjectures which naturally divide into coprimality and divisibility questions, special-value and recurrence formulas, and coefficient-shape problems. We prove all of the conjectures in the first two families: the ordinary and binary coprimality/divisibility conjectures, and the odd and ternary special-value/recurrence conjectures. AxiomProver autonomously produced Lean/mathlib formalizations and machine-checkable proofs of these six conjectures, and also discovered the counterexample showing that the binary log-concavity conjecture is false as stated.
On Kazhdan--Lusztig basis elements having no reversal factorization
For $w$ in the symmetric group $S_n$, let $\widetilde C_w$ be the corresponding modified, signless Kazhdan--Lusztig basis element of the type-$A$ Hecke algebra $H_n(q)$. An extension [Ann. Comb. 25, no. 3 (2021) pp. 757--787] of a result of Deodhar [Geom. Dedicata 36, (1990) pp. 95--119] implies that any factorization of the form \begin{equation*}
\widetilde C_w = \frac1{f(q)} \widetilde C_{v^{(1)}} \cdots \widetilde C_{v^{(r)}},
\end{equation*} with $v^{(1)},\dotsc,v^{(r)}$ maximal elements of parabolic subgroups of $S_n$ and $f(q) \in \mathbb N[q]$ depending on these, provides cancellation-free combinatorial interpretations of the polynomials $\{P_{v,w}(q) \,|\, v \in S_n \}$ appearing in the expansion $\sum_v P_{v,w}(q) T_v$ of $\widetilde C_w$ in terms of the natural basis $\{ T_v \,|\, v \in S_n \}$ of $H_n(q)$. While the set of permutations $w \in S_n$ admitting such a factorization of $\widetilde C_w$ has not yet been characterized, we apply a result of Gaetz -- Gao [Adv. Math. 457 (2024) Paper No. 109941] to describe a set admitting no such factorization.
Finding a Solution to the Erdős-Ginzburg-Ziv Theorem in Linear Time
The Erdős-Ginzburg-Ziv theorem states that every sequence of 2n - 1 integers contains a subsequence of length n whose sum is divisible by n. Choi, Kang, and Lim gave a simple deterministic O(n log n) algorithm for finding such a subsequence, and Leung recently improved this to O(n log log log n). We give a deterministic linear-time algorithm. The core is a linear-time algorithm for the following prime target subset-sum problem: given p - 1 nonzero residues in Z_p and a target residue, find a subset with the prescribed sum. Our algorithm maintains a compact arithmetic-progression representation of reachable sums. When two progressions intersect, a bounded Frobenius interval in their sum allows them to be merged into one longer progression, with enough growth to pay for the update. When the representation either contains a full progression or covers all nonzero residues, the target residue is recovered constructively. The standard multiplicative reduction then extends the prime algorithm to arbitrary moduli.
Spectra of Subdivision Products of Digraphs
This paper introduces four types of subdivision products for simple directed graphs extending those from the undirected case, in particular, the subdivision-vertex join, subdivision-arc join, subdivision-vertex corona and subdivision-arc corona. Structural and spectral properties of these constructions are analyzed, with a focus on adjacency, Laplacian and signless Laplacian spectra.
Constructions of Rank-Metric Codes of Small Tensor Rank
Rank-metric codes are subspaces of matrices over finite fields endowed with the rank metric and admit a natural tensorial representation. The tensor rank provides a measure of the minimal size of a decomposition of a code into rank-one tensors. Kruskal showed that the tensor rank of a rank-metric code of dimension $k$ and minimum rank distance $d$ is at least $k + d - 1$, and codes meeting this bound with equality are called minimal tensor rank (MTR) codes. It is known from algebraic complexity theory that the existence of an MTR code implies the existence of a maximum distance separable (MDS) code. In this work, we establish new results relating the tensor rank of a rank-metric code to the parameters of associated linear codes in the Hamming metric and introduce the notion of tensor rank defect. We then develop new constructions of rank-metric codes with small tensor rank defect using algebraic geometry (AG) codes.
A linear upper bound on the $\mathbb{Z}_p$-Ramsey number of graphs with sufficiently large $2$-packing
Given a positive integer $k$ and graph $G$, the $\mathbb{Z}_k$-Ramsey number $R(G,\mathbb{Z}_k)$ is the least $N$ (if it exists) such that every coloring $f:E(K_N)\rightarrow \mathbb{Z}_k$ contains a copy $G'$ of $G$ such that $\sum_{e\in E(G')}f(e)=0$. Motivated by a question of Caro and Mifsud, we study the $\mathbb{Z}_k$-Ramsey number of graphs with a sufficiently large 2-packing, i.e. a set of vertices $S\subseteq V(G)$ such that $N[u]\cap N[v]=\emptyset$ for all distinct $u,v\in S$. In particular, we prove that $R(G,\mathbb{Z}_p)\leq n+6p-9$ for all $n$-vertex graphs $G$ and all primes $p$ such that $p$ divides $e(G)$, the minimum degree of $G$ is at least $1$, and there exists a $2$-packing of $G$ with size $p-1$. This upper bound improves depending on vertex degrees in the $2$-packing, with equality in certain cases. The result also implies an upper bound of the form $R(G,\mathbb{Z}_p)\leq n+C$ for $n$-vertex graphs $G$ of bounded maximum degree.
An explicit lower bound for the unit distance problem
We show that there are sets of $n$ points in the plane with $n$ arbitrarily large that contain more than $n^{1.014}$ pairs of points separated by a distance exactly $1$. This improves on very recent work of a team at OpenAI, who proved the same result with an inexplicit exponent greater than $1$, drastically improving on the best previous lower bound and disproving a conjecture of Erdős. The method is number-theoretic, relying on constructing algebraic number fields of large degree and small discriminant with many primes of small norm via a Golod-Shafarevich criterion argument.
Critical subgraphs and the regularity of symbolic powers of cover ideals of graphs
Let $G$ be a simple graph. We demonstrate a method for using $t$-admissible subgraphs of $G$ to determine the regularity of the $t$-th symbolic power of the cover ideal of $G$. As an application, we compute the regularity of powers of cover ideals of bipartite unicyclic graphs.
An axiomatic framework from splitting and merging in MAT-labeled graphs, vines, and single-peaked domains
In recent work (Forum Math.~Sigma, 2024), we established a correspondence between MAT-labeled graphs arising from hyperplane arrangements and regular vines from probability theory. In this paper, we extend this connection to Arrow's single-peaked domains in social choice theory. We show that MAT-labeled complete graphs, regular vines, and maximal Arrow's single-peaked domains arise from the same recursive combinatorial structure.
Our main result gives an axiomatic characterization of these objects using the language of combinatorial species. At the heart of this characterization are two fundamental operations, called splitting and merging, together with natural compatibility conditions that uniquely determine the structures. As consequences, we obtain explicit correspondences between maximal Arrow's single-peaked domains, MAT-labeled complete graphs, and regular vines, resolving an open problem in the economics literature concerning the combinatorial characterization of single-peaked domains.
We further show, by a direct proof, that regular vines are equivalent to $(n,3)$-extremal lattices from formal concept analysis. Consequently, these extremal lattices also fit naturally into the same splitting and merging framework, providing another example from a different area that satisfies our axiomatic characterization.
Generalized quaternion NCI-groups, NNN-groups and NNND-groups
A Cayley (di)graph $\Cay(G,S)$ of a finite group $G$ is called CI if, for every Cayley (di)graph $\Cay(G,T)$ of $G$, $\Cay(G,S)\cong \Cay(G,T)$ implies that $S^σ=T$ for some $σ\in \Aut(G)$. The group $G$ is called an NDCI-group (resp. NCI-group) if every normal Cayley digraph (resp. graph) of $G$ is CI. It was shown that the generalized quaternion group $\Q_{4n}$ of order $4n$ ($n\geq 2$) is an NDCI-group if and only if either $n=2$ or $n$ is odd, but its NCI-group classification has been left as an open question. In this paper, we solve the question and prove that $\Q_{4n}$ is an NCI-group for every $n\geq 2$. A normal Cayley (di)graph of a group $G$ is called NNN if its automorphism group contains a non-normal regular subgroup isomorphic to $G$, and $G$ is called an NNND-group (resp. NNN-group) if it admits an NNN Cayley digraph (resp. graph). In this paper, we show that $\Q_{4n}$ is not an NNN-group for every $n\geq 2$, and is an NNND-group if and only if $n\geq 6$ and $n$ is even.
On $m$-partite oriented semiregular representations of finite groups
The study of ORR was inspired by Lázsló Babai in 1980 when he asked a question: Which [finite] groups admit an oriented graph as a DRR? And it has been solved by Joy Morris and Pablo Spiga through a series of papers in 2018. In this paper, we will extend the concept of ORR
to $m$-partite oriented graphs for $m\geq 2$. We say that a finite group $G$ admits an \emph{$m$-partite oriented semiregular representation} ($m$-POSR) if there exists an $m$-partite oriented graph $\G$ such that its automorphism group is isomorphic to $G$ and acts semiregularly with the $m$ orbits giving the partition.
Moreover, if $\G$ is regular,
that is, each vertex has
the same in- and out-valency,
it can be viewed as the oriented version of an $m$-Haar graph of $G$ and we call $\G$ is an \emph{$m$-Haar oriented representation} ($m$-HOR) of $G$.
Our main result is a complete classification of finite groups $G$ without $m$-HORs or $m$-POSRs for $m\geq 2$.
String C-groups of 2-power order project onto a common string C-group
String C-groups are precisely the automorphism groups of abstract regular polytopes. A certain regular d-polytope C_d with an automorphism group of order 2^{2d-1}, discovered by Conder and shown to have the smallest number of flags among all regular d-polytopes of high ranks, also has the important extremal property to be the unique minimal d-polytope, with respect to combinatorial covering, among all finite regular d-polytopes with 2-power automorphism groups. In other words, the automorphism group of C_d is a quotient group of every finite string C-group of rank d and 2-power order; and every finite regular d-polytope with an automorphism groups of 2-power order covers C_d. The existence of a unique minimal element among string C-groups of 2-power order and given rank is remarkable in itself.
Remarks on the disproof of the unit distance conjecture
We present a short, digested, human-verified version of the recent OpenAI-generated counterexample to the Erdős unit distance conjecture, and a sequence of reflections on it. The argument relies crucially on ideas that may, at least in retrospect, be attributed to Ellenberg-Venkatesh, Golod-Shafarevich, and Hajir-Maire-Ramakrishna.
Extremal structure in dense arrangements of $k$-intersecting curves
Let $P$ be a set of $n$ points in the plane, and let $\mathcal C$ be a collection of $n$ simple $k$-intersecting curves, meaning that every two distinct curves of $\mathcal C$ meet in at most $k$ points. A classical theorem of Pach and Sharir from 1998 gives the upper bound $I(P,\mathcal C)=O_k(n^{(3k+1)/(2k+1)})$. We prove that this bound can be improved when one excludes a complete local incidence pattern. More precisely, for any fixed integers $s>k+1\ge 2$, if there do not exist $s$ points of $P$ such that every $(k+1)$-tuple among them is contained in a distinct curve of $\mathcal C$, then $I(P,\mathcal C)=o(n^{(3k+1)/(2k+1)})$. In the special case of pseudo-segments, this extends Solymosi's theorem on dense point-line arrangements to dense arrangements of pseudo-segments.
Oriented Discrepancy of The Square of Hamilton Cycles
For an oriented graph $G$, the oriented discrepancy problem concerns the existence of a spanning subgraph of $G$ with a large imbalance between its forward and backward edge orientations. Freschi and Lo proved the Dirac-type Hamilton cycle result in oriented graphs, and asked for an analogue for powers of Hamilton cycles under a minimum-degree condition. We show that, for sufficiently large $n$, every oriented graph $G$ on $n$ vertices with minimum degree $δ(G)\geq 2n/3$ contains the square of a Hamilton cycle $H$ with $σ_{\max}(H)$ guaranteed to exceed a function depending on $δ(G)$ and $n$.
Pythagorean walks on $\mathbb{Z}^2$
We consider an infinite graph with the vertex set $\mathbb{Z}^2$ and edges connecting the vertices iff the Euclidean distance between the respective points is an integer, and the points do not lie on the same horizontal or vertical. Equivalently, there must exist a Pythagorean triangle with the hypotenuse corresponding to the graph edge and the legs parallel to the axes.
We prove that the diameter of this graph is $3$, but surprisingly it appears that the nodes at the maximal (graph) distance of $3$ apart seem to be only those that are geometrically very close to each other. It also appears that the paths of length $2$ connecting geometrically close nodes may need to go through geometrically very distant points.
We prove a general relation that generates infinite series of length-$2$ paths, and present the results of our computer experiments. We conclude the paper with a general conjecture about the length-$2$ and length-$3$ paths. We have posed this conjecture to several of the current leading AI models. Remarkably, none of them managed to make any significant progress in proving it.