math.CO ↗ arXiv
5274 papers in this category
Regularizing and Normalizing DAGs and Phylogenetic Networks
Phylogenetic networks and, more generally, directed acyclic graphs (DAGs) represent hierarchical structure beyond trees, for instance in the presence of reticulate evolutionary events such as hybridization or horizontal gene transfer. A central question is which parts of such graphs are essential with respect to leaf-observable information, and which parts can be removed without changing this information. Resolving this question can lead to principled simplification methods for phylogenetic networks, such as the recent normalization approach of Francis et al.
In this paper, we study this question from three related perspectives: clusters displayed by a DAG $G$, least common ancestors (LCAs) of subsets of its leaf set, and visibility, a path-based property of vertices. We first introduce an LCA-based simplification procedure called $i$-regularization. For a DAG $G$ and $i\geq 1$, the DAG $\reg_i(G)$ retains precisely those vertices that occur as unique LCAs of leaf subsets of size at most $i$, removes the remaining non-leaf vertices by a graph-editing operation $\ominus$, and then deletes shortcuts. We show that $\reg_i(G)$ preserves all such LCAs, is $i$-lca-relevant, and admits a cluster-level description: it is regular, i.e., isomorphic to the Hasse diagram of the corresponding lca-clusters.
We then compare LCA-based regularization with normalization. Using the same $\ominus$-operator, we describe the cover construction underlying normalization, identify visible vertices that are nevertheless removed, and characterize when regularization and normalization coincide. Together, these results provide a unified framework for cluster-based, LCA-based, and visibility-based simplifications of DAGs and phylogenetic networks.
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.
A Classification of Positive-Curvature Discrete Einstein Metrics on Trees
For a weighted tree, the Lin--Lu--Yau Ricci curvature admits an explicit formula in terms of the edge weights. Consequently, the constant-curvature equation is equivalent to an eigenvalue problem for an edge-indexed Ricci matrix $R_T$. Building on the spectral characterization of discrete Einstein metrics on trees, we classify all finite trees whose discrete Einstein metric has positive curvature, equivalently all trees satisfying $λ_{\max}(R_T)<0$. For caterpillars with spine order $m\ge 12$, this occurs precisely for the endpoint families $T_m(a,0,\ldots,0,b)$ with $1\le a,b\le 3$ and $(a,b)\ne(3,3)$. The remaining cases $3\le m\le 11$ are settled by an exact finite verification using rational characteristic polynomials and Sturm root counts. We also determine the zero level set $λ_{\max}(R_T)=0$: among caterpillars, it consists of the stable family $(3,0,\ldots,0,3)$ together with nine exceptional short-spine caterpillars, while $S_3^2$ is the unique non-caterpillar zero example.
Navigating Posets with Few Maps
We study two new parameters for finite posets motivated by the problem of efficiently determining the set of successors of a given element. A plane map of a poset $P=(X,\leq)$ is an injective mapping of $X$ into the Cartesian plane $\mathbb{R}^2$. Given two different points $a$ and $b$ in the plane, we say that $b$ dominates $a$ if $a<b$ coordinatewise. We say that an element $x$ of $P$ is tight in a plane map $μ$ if the following holds: $x<y$ in $P$ if and only if $μ(y)$ dominates $μ(x)$. Note that, by definition, every 2-dimensional poset admits a map such that every element of the poset is tight. For any poset $P$, we define the mapability of $P$, $\mathrm{dmap}(P)$, to be the maximum number of elements that are tight in a single map, and we define the atlas thickness of $P$, $\mathrm{at}(P)$, to be the size of the smallest collection of maps such that every element is tight in at least one map of the collection.
We relate these parameters to the classical notions of dimension and width: for every poset $P$, we show that $\mathrm{dim}(P) \le 2\mathrm{at}(P) \le \mathrm{width}(P)+1$. On the other hand, there exists a sequence of posets $(P_n)_{n \ge 1}$ such that the atlas thickness of $P_n$ is doubly exponential in the dimension of $P_n$.
On the computational side, we prove that it is NP-complete, for a given poset $P$, to compute the mapability of $P$ and to decide whether $\mathrm{at}(P) \le 2$. In contrast to the latter, we show that computing the mapability of a poset is fixed-parameter tractable with respect to the natural parameter.
The extra slow Tamari lattice
We introduce the extra slow Tamari lattices, a new family of lattices defined on faithfully balanced tableaux. These tableaux arise naturally from the representation theory of type \( A \) quivers, and our construction extends the classical Tamari lattice and the slow Tamari lattice.
We explicitly describe meets and joins in the extra slow Tamari lattices, and then prove that they are lattices. We then show that they are semidistributive, trim, polygonal, and congruence uniform. Their join-irreducible elements are described in terms of a three-color analogue of the positive roots of type \( A \), which leads to descriptions of their spines and congruence lattices. We also obtain several enumerative results for the extra slow Tamari lattices and their associated structures. Finally, we derive new structural and enumerative results for the slow Tamari lattices.
Horizontal miniatures and normal-sized miniatures of convex lattice polytopes
Let $d$ be a nonnegative integer, and let $P \subset \mathbb R^d$ be a $d$-dimensional convex lattice polytope. In this article, we prove that the ratio of the volume of a normal-sized miniature of $P$ to that of $P$ is $1:\binom{2d+1}{d},$ which generalizes the known results for the unit hypercube and lattice simplices provided by the author. This theorem is proven by establishing that the number of horizontal miniatures of $P$ with resolution $t$ is a polynomial of degree $d+1$ in $t$ whose leading coefficient is $\mathrm{vol}\,(P)/(d+1),$ which is derived from Ehrhart theory.