math.CO ↗ arXiv
7121 papers in this category
Infinite rational distance sets in affine general position: constructions in every dimension
For every integer $d\geq 1$, we construct a countably infinite set $X_d\subset\mathbb{R}^d$ in affine general position, with all pairwise distances rational. When $d$ is odd, $X_d$ may also be chosen so that no $d+2$ points lie on a common sphere. The construction is uniform in $d$: positive Chebyshev square decompositions produce harmonic curves on spheres whose points corresponding to rational parameter values have pairwise rational distances. A divided-difference factorization of the affine determinant shows that sufficiently short arcs are locally convex, and stereographic projection produces the odd-dimensional examples. We also construct infinite rational distance sets in $\mathbb{Q}^d$ in affine general position for every even $d$, and in general position for every $d\equiv 1\pmod 4$. For every $d\geq 1$ and $n\geq d+1$, taking and rescaling suitable finite subsets gives $n$-point integral point sets in affine general position. A suitable ordered choice yields integral-distance realizations of all cyclic polytopes. In dimension three, we give an explicit rational parametrization and obtain infinitely many pairwise non-similar primitive $n_3$-clusters for every $n\geq 4$.
Pipe Dream Rectification and Dual RSK Correspondence
We prove Dennin's conjecture (Conjecture 8.9 of arXiv:2506.21052) that his variant of dual RSK correspondence is symmetric when restricted to biGrassmannian permutations. For a binary matrix $A$, let $A^\dagger$ denote its transpose-complement, and let $\operatorname{ins}(A)$ and $\operatorname{rec}(A)$ denote its insertion and recording tableaux. We prove that $\operatorname{ins}(A^\dagger) = \overline{\operatorname{rec}(A)}$, where the bar denotes the natural complement of the recording tableau. Our proof uses rectification of super pipe dreams and a downward induction on suffixes of $A$.
The boxicity of the compressed zero divisor graph of the ring of integers modulo N
The boxicity of a graph $G$, denoted by $box(G)$, is the minimum integer $d\geq 0$ such that $G$ is the intersection graph of axis-parallel boxes in $\mathbb{R}^d$.
The class of zero divisor graphs introduced by Beck (1988) is a popular class of graphs and has been studied extensively by several researchers. Suppose $Z(R)$ is the set of zero divisors of a ring $R$. The zero divisor graph $Γ(R)$ for a ring $R $ is defined as the graph with the vertex set $V(Γ(R))=Z(R)$ and $E(Γ(R))=\{\{x,y\}\colon x,y\in Z(R)\text{ with }x\neq y\text{ and }x y=0\}$. One can define an equivalence relation $\sim$ on $V(Γ(R))$ such that for vertices $x$ and $y$, one has $x\sim y$ if and only if $x$ and $y$ have the same annihilator, i.e., $Ann(x)=Ann(y)$. The compressed zero divisor graph $Γ_E(R)$ for a ring $R$ is the simple graph obtained from $Γ(R)$ by retaining exactly one vertex from each equivalence class induced by $\sim$.
In this paper, we completely answer two open questions posed in Discrete Applied Mathematics 391 (2026), pp. 127-136. Let $N=\prod_{i=1}^a p_i^{n_i}$ be the prime factorization of a positive integer $N$ and let $\mathbb{Z}_N$ be the ring of integers modulo $N$. We determine the exact boxicity of the compressed zero divisor graph $Γ_E(\mathbb{Z}_N)$. We show that when $a\geq 2$, $box(Γ_E(\mathbb{Z}_N))= a-1$ if and only if one of the following is true: $(i)$ $a\geq 2$ and $N$ is the product of two coprime integers $x$ and $y$ such that $x$ is a square-free integer and $y$ is the cube of a prime number; $(ii)$ $a\geq 3$ and $N$ is square-free; $(iii)$ $a\geq 2$, $N$ is cube-free, not square-free, and contains at least one prime divisor $p_i$ such that $n_i=1$. If $a=2$ and $n_1=n_2=1$, then $Γ_{E}(\mathbb{Z}_N)$ is a clique, and so, $box(Γ_{E}(\mathbb{Z}_N))=0$. In all other cases, $box(Γ_{E}(\mathbb{Z}_N))=a$.
The number and average length of subpaths in graphs
We study extremal questions on the average length and the number of subpaths in a graph. In particular, we prove the questions of Jamison (from $1983, 1984$) for the analogous concept of the average length of a subpath. Among other results, we prove that $K_n$ maximizes the average path length.
The number of sum-free subsets of lattice cubes
A subset of the $d$-dimensional lattice cube $[n]^d$ is sum-free if it contains no solution to the equation $x+y=z$. We study the total number of such subsets. For $d=1$, Cameron and Erdős conjectured that the number of sum-free subsets of $[n]$ is $O(2^{n/2})$, and this was proved independently by Green and Sapozhenko. A recent work by Ghosal solved the case $d = 2$. In this paper, we consider all remaining dimensions and prove that for every fixed integer $d \geqslant 3$, the number of sum-free subsets of $[n]^d$ is $2^{M([n]^d) + O_d(n^{d-1})}$, where $M([n]^d)$ is the maximum possible size of a sum-free subset of $[n]^d$. This verifies a conjecture of Elsholtz and Rackham. Our proof combines the dual weights constructed by Keevash and Lim in their work for $M([n]^d)$, a one-dimensional counting estimate due to Ghosal, a bipartite swapping lemma of Zhao, and a strong fractional entropy inequality of Madiman and Tetali, and it avoids the use of the container lemma or deriving a stability theorem first.
Blocky Matrices and Group Idempotents
We prove a common generalization of two structure theorems: the dimension-free decomposition theorem for idempotent Schur multipliers and the idempotent theorem in harmonic analysis. Roughly speaking, our result shows that an invariant integer-valued kernel with Hilbert-space factorization norm $γ$ admits a signed decomposition into at most $2^{O(γ^4)}$ elementary pieces. In the matrix setting these pieces are blocky matrices, while in the group setting they are indicators of cosets. In the locally compact abelian setting this quantitatively strengthens the theorem of Green and Sanders, while in the non-abelian setting it gives a quantitative strengthening of Host's idempotent theorem and, for finite groups, of Sanders's quantitative result. It also improves the exponent in the dimension-free matrix decomposition from $γ^6$ to $γ^4$.
Log-concavity of subsequence counts of words
Given a word over a finite alphabet, consider the sequence that counts, for each length, the number of distinct subsequences of that length. In 1976, Chase proved that this sequence is log-concave. His proof uses a triangular array indexed by the prefixes of the word together with a meticulous analysis of ratios of several sums. We instead decompose according to the first letter, which reduces the proof to a weighted average.
Schur positivity from signed elementary expansions: clique-spiders and spiders $S(a,b,2)$
We prove a Schur alpha-omega lemma for chromatic symmetric functions. It bounds the partitions indexing nonzero Schur coefficients in terms of higher independence numbers, higher clique numbers, and the chromatic number. We then establish three equivalent dominance-matching criteria: matrix, Hall, and order-ideal, that certify Schur positivity from a fixed signed $e_I$-expansion.
As applications, we obtain complete classifications of $e$-positivity and Schur positivity for four basic families of $3$-clique-spiders. Here $S^{ghk}_{rst}$ is formed by joining a common center to one vertex of each of $K_r$, $K_s$, and $K_t$ by internally disjoint paths of lengths $g$, $h$, and $k$, respectively. As a result, $S^{000}_{rst}$ is Schur positive exactly when $r\ge st-1$, and every graph $S^{100}_{rst}$ and $S^{010}_{rst}$ is Schur positive. When $s=t$, the graph $S^{001}_{rst}$ is Schur positive; when $s>t$, its Schur-positive members fall into four explicit parameter regimes. We also introduce a path-clique bootstrap and use it to prove that every spider $S(a,b,2)$ is Schur positive. Finally, we prove that the spider $S(a,b,2)$ for $a\ge b\ge2$ with $3\nmid b$ is $e$-positive if and only if $(a,b)\in\{(6,4),(12,4),(9,7)\}$, which advances the study of Tom's conjecture concerning the $e$-positivity of spiders $S(a,b,2)$.
Point Counts of Cluster Varieties of Marked Surfaces Over Finite Fields
We establish formulae for point counts of cluster varieties of cluster algebras of marked surfaces, possibly with punctures. We then establish formulae for the number of non-deep points in these cluster varieties over $\mathbb{F}_2$, which gives us the number of algebraic tori necessary to cover the cluster manifold over $\mathbb{F}_2$. We also show that these formulae satisfy certain recurrence relations.
Cocycles of determinantal hypertrees with small support
Let ${T}_n$ be a random $2$-dimensional determinantal hypertree on $n$ vertices. Given any prime $p$, we answer the following question: If a cocycle in $Z^1({T}_n,\mathbb{F}_p)$ has small support, what does the support typically look like? More precisely, we characterize all the finite connected graphs $G$ for which there is a constant $c_G>0$ with the following property: For all large enough $n$, with probability at least $c_G$, we have a cocycle $f\in Z^1({T}_n,\mathbb{F}_p)$ such that after removing all the isolated vertices, the support of $f$ is isomorphic to $G$. We prove that for $p>2$, we do not have any such graph. For $p=2$, a connected graph has the property above if and only if it has a unique cycle such that this unique cycle has odd length, moreover, if the unique cycle is a triangle, then we also need to require that all the vertices of the triangle have degree at least $3$.
Pfaffian--Toeplitz identities, Schur positivity, and the $q$-log-convexity of Baxter polynomials
We use the Pfaffian minor summation formula together with Jacobi--Trudi Toeplitz matrices to derive Pfaffian expansions in skew Schur functions. This yields explicit Schur expansions for several generating functions involving products of skew Schur functions. In particular, using sparse skew-symmetric matrices, we provide a Pfaffian proof of a Schur-positive identity arising in the study of the $q$-log-convexity of the Narayana polynomials. As the main application, we prove that the Baxter polynomials form a $q$-log-convex sequence. We further show that the Baxter transformation defined by the refined Baxter numbers preserves log-convexity. Finally, by realizing the $q$-refined Baxter numbers as principal specializations of rectangular Schur functions, we prove that the array of $q$-refined Baxter numbers is $q$-log-concave both along each row and along each column. Both $q$-log-concavity results extend naturally to the $q$-analogues of the $d$-Hoggatt numbers.
Approximate counting of vertices of 0/1 polytopes: a stronger hardness result
We show that approximately counting the vertices of a bounded 0/1 polytope, presented as a system of rational linear inequalities, is, informally speaking, NP-hard. In particular, there is no FPRAS for this problem unless RP=NP. The proof is by a reduction from approximately counting homomorphisms from a given graph to a particular four-vertex graph. The main proof ideas were found using GPT-5.6 Sol Ultra.
The Partition Pairing Theorems I
The aim of this paper is to introduce pairing theory for partitions. We begin with two statistics on integer partitions, the \emph{pairing index} and the \emph{pairing rank}. The pairing index is equidistributed with the number of parts, while a joint refinement identifies its two constituents with the numbers of even and odd parts. We further introduce the \emph{pairing width} and prove that pairing index and pairing width are jointly equidistributed with the number of parts and the largest part. The resulting finite Gaussian generating function has a cyclotomic factorization from which Kummer's famous carry theorem for binomial coefficients follows. We also prove a mod-$5$ congruence for the excess of unpaired parts congruent to $1$ modulo $4$ over those congruent to $3$ modulo $4$ in the partitions of $5n+4$. A signed specialization exhibits that the parity of the pairing rank is governed by self-conjugate partitions. Motivated by this, we go on to introduce a second, diagrammatic pairing: after the two wings of the Durfee square are folded together, the unpaired cells break into connected \emph{diagonal blocks}. These blocks may be reflected independently, giving a Boolean decomposition of the set of partitions with a unique representative having all successive ranks nonnegative. We then relate our theory to overpartitions and Frobenius representations, obtaining as a corollary a geometric realization of overpartitions in terms of partitions whose principal hooks are all even. Finally, we study simply paired partitions of negative pairing rank, obtaining identities involving odd divisors and overpartitions, a parity theorem for pairing rank $-2$, and a Toeplitz determinant whose coefficientwise limit is an explicit infinite product related to MacMahon's product for plane partitions.
Spanning trees in the Assignment Problem: two theorems and two conjectures
The \emph{Minimum Matching Problem} consists of finding an independent edge set of minimum weight $M_{\star}(G)$ in a given edge-weighted graph $G$. When $G$ is bipartite, this reduces to the \emph{Assignment Problem}. We consider a variant of this problem defined by taking the union of optimal matchings across various slightly modified versions of the base graph: $H_{\mathcal{J}}(G)=\bigcup_{U \in \mathcal{J}} M_{\star}(G_{U})$. We establish two families of results: (1) In two distinct settings for the Assignment Problem, we prove that the resulting graphs $H_{\mathcal{J}}$, as well as certain associated graphs $\bar{H}_{\mathcal{J}}$, are spanning trees on the relevant base graphs $G$ and $\bar{G}$. (2) In these same settings, assuming the edge weights are given by the $p$-th power of Euclidean distances for point configurations in the plane, we show that for $p=1$ the tree $H_{\mathcal{J}}$ is non-crossing (i.e., its planar embedding has no crossing edges), whereas, remarkably, for $p=2$ the associated tree $\bar{H}_{\mathcal{J}}$ is non-crossing. Finally, we introduce novel conjectures in Statistical Mechanics, to be explored in future work: in the Random Euclidean Assignment Problem (where points are i.i.d.\ on a planar domain), we conjecture that for $p=2$ the trees $\bar{H}_{\mathcal{J}}$ are asymptotically distributed as Uniform Spanning Trees with free and wired boundary conditions in the two respective settings. In particular, suitable paths on the tree in the second setting, and on its planar dual in the first setting, are asymptotically distributed as $\text{SLE}_κ$ with $κ=2$.
A note on distinct volume subsets problem
For $2 \leq a \leq d+1$, what is the largest integer $H_{a,d} (n)$ such that every set of $n$ points in $\mathbb{R}^d$ with no $a$ points on a common $(a-2)$-flat contains a subset of $H_{a,d} (n)$ points whose determined $(a-1)$-dimensional simplices have pairwise distinct $(a-1)$-dimensional volumes? We construct $n$-point sets that improve the best known upper bounds for $H_{a,d}(n)$ in several cases of $a$ and $d$.
We also study a dual version of the problem. Let $D_d(n)$ the maximum number such that for any arrangement of $n$ hyperplanes in general position in $\mathbb{R}^d$, we can always find a subset of $D_d(n)$ hyperplanes for which all the $d$-dimensional simplices that they define have distinct $d$-dimensional volumes. We improve the current known upper bound for $D_d(n)$ and give the first nontrivial lower bound for $D_2(n)$ and $D_3 (n)$.
Erdős-Pósa property for induced packings of long $S$-cycles
The Erdős-Pósa theorem states that for every integer $k\geq1$, every graph contains either $k$ vertex-disjoint cycles or a set of $\mathcal{O}(k\log k)$ vertices meeting all cycles. This fundamental min-max duality has been extended to numerous settings, including long cycles, $S$-cycles, that is, cycles containing a vertex in a prescribed set $S$, and cycles satisfying various additional constraints. In contrast, much less is known when the packing itself is required to be induced, namely, when distinct cycles are vertex-disjoint and have no edges between them.
We prove that long $S$-cycles admit an induced version of the Erdős-Pósa-type duality. More precisely, we show that there exists a polynomial function $f(k,\ell)$ such that for all integers $k\geq1$ and $\ell\geq3$, every graph contains either an induced packing of $k$ $S$-cycles of length at least $\ell$ or a set of at most $f(k,\ell)$ vertices whose closed neighbourhood intersects all $S$-cycles of length at least $\ell$. The proof introduces a new ear-decomposition technique based on fragile ears and yields a polynomial-time algorithm for every fixed $\ell$.
Ramsey-type results for threshold graphs and beyond
A {\it threshold graph} is a graph that can be constructed from the one-vertex graph by repeatedly adding either a dominating vertex or an isolated vertex. Motivated by an induced Ramsey-type problem for this class, we define $r'_2(s)$ to be the minimum integer $n$ such that every $n$-vertex graph contains an induced threshold graph on $s$ vertices. We establish exponential upper and lower bounds for $r'_2(s)$ and determine its exact values for $s\in\{3,4,5,6\}$. To study this problem from an edge-coloring perspective, we use the notion of an orderable coloring, introduced by Richer [{\it J. Combin. Theory Ser. B}, 80(1) (2000), 172--177]. An edge-colored graph is {\it orderable} if its vertices can be ordered so that, for each vertex, all edges from it to later vertices have the same color. Equivalently, $r'_2(s)$ is the minimum $n$ such that every $2$-edge-coloring of $K_n$ contains an orderable $K_s$. We also determine the exact value of the unordered canonical Ramsey number $CR(s, 3)$ for all $s \ge 3$, where $CR(s,3)$ denotes the minimum integer $n$ such that every edge-coloring of $K_n$ contains either an orderable $K_s$ or a rainbow $K_3$. More generally, for graphs $G$ and $H$, we study $r'_2(G)$, the corresponding $2$-color Ramsey number for an orderable $G$, and $CR(G,H)$, where the alternative is a rainbow $H$. For complete bipartite graphs, we prove that for every fixed $s$, $r'_2(K_{s,t}) = CR(K_{s,t}, K_3)= \left(\frac{2^s}{s+1}+o(1)\right)t$ as $t\to\infty$. For $s\in \{2,3\}$, we further determine the exact values of these parameters for infinitely many $t$, using constructions arising from strongly regular graphs, Hadamard matrices and conference matrices.
Extremal problems for suspensions of even cycles
Given an integer $k\geq2$ and a graph $F$, the $k$-uniform suspension $\mathcal{S}^kF$ is obtained by adjoining a fixed set of $k-2$ new vertices to every edge of $F$. In this paper, we study two extremal problems for suspensions of even cycles.
Write $K^k_t$ for the $k$-uniform clique of order $t$. Let $\mathrm{ex}(n,\mathcal{S}^kC_{2\ell})$ and $\mathrm{ex}(n,K^k_t,\mathcal{S}^kC_{2\ell})$ denote the maximum numbers of edges and copies of $K^k_t$, respectively, in an $\mathcal{S}^kC_{2\ell}$-free $k$-uniform hypergraph on $n$ vertices. We prove that, for every $k\geq2$ and infinitely many $n$, \[\mathrm{ex}(n,K^{k}_{k+1},\mathcal{S}^kC_4)=\frac{n^{k-1/2}}{(k+1)!}+O(n^{k-1}).\] This extends a folklore result for $k=2$ and, as an immediate consequence, yields the asymptotics of $\mathrm{ex}(n,\mathcal{S}^kC_4)$ for infinitely many $n$, previously established by Mubayi (for all $n$).
Furthermore, for every $k\geq2$ and $\ell\in\{3,5\}$, we determine the order of magnitude \[\mathrm{ex}(n,\mathcal{S}^kC_{2\ell})=Θ(n^{k-1+1/\ell}).\] This generalizes both the classical graph case $k=2$ and a previous result of Mukherjee for $k=\ell=3$.
The principal difficulty in both problems lies in constructing the lower bounds. Our construction for $\mathrm{ex}(n,K^{k}_{k+1},\mathcal{S}^kC_4)$ incorporates a novel block-packing structure, which yields substantially more copies of $K^k_{k+1}$ than previously known constructions. For $\mathrm{ex}(n,\mathcal{S}^kC_{2\ell})$ with $\ell\in\{3,5\}$, we establish a natural $k$-uniform version of Wenger graphs, addressing the subtleties involved in lifting extremal graph constructions to suspensions. We also give applications of our results to Turán problems for simplicial complexes.
On Conjugacy Classes of Derangements in Symmetric and Alternating Groups
In this article, we prove two conjectures of Burness and Fusari [Timothy Burness and Marco Fusari, On derangements in simple permutation groups, Forum Math. Sigma 13 (2025)] concerning the powers and products of conjugacy classes of derangements in the symmetric and alternating groups: (1) We show that there exist two conjugacy classes $C$ and $D$ of derangements in $S_n$ such that $S_n=C^2\cup CD$, and (2) We show that there exists a conjugacy class $C$ of derangements in $A_n$ such that $C^2=A_n$, whenever $n\equiv 3\;(\text{mod}\;4)$. In fact, our result concerning the second conjecture holds in a considerably more general setting, which also answers affirmatively a question posed by Bertram [Edward Bertram, Even permutations as a product of two conjugate cycles, J. Comb. Theory, Ser. A 12 (1972), 368-380] in a particular case. Moreover, we show that any conjugacy class $C$ of derangements in $S_n$ (resp. $A_n$) contains a pair of elements that generate $S_n$ or $A_n$ (resp. $A_n$), unless $C$ is the conjugacy class of fixed-point-free involutions.
An Explicit 82-Queen Covering of the 163 x 163 Board and Its Asymptotic Implication
The queen's graph $Q_n$ has the squares of the $n\times n$ chessboard as vertices, with adjacency defined by a common row, column, or diagonal. We give an explicit set of $82$ queens on $Q_{163}$. In centered coordinates, all queen coordinates are odd, every odd row and odd column is occupied exactly once, and the occupied rows, columns, and diagonals satisfy the conditions for a type A $1$-cover in the terminology of Ostergard and Weakley. A direct independent verification checks every one of the $163^2=26{,}569$ board squares and finds none uncovered. Hence $γ(Q_{163})\leq82$. The Finozhenok-Weakley lower bound $γ(Q_n)\geq\lceil n/2\rceil$, valid here, gives the matching inequality and therefore $γ(Q_{163})=82$. For this cover, the parameters defined by Ostergard and Weakley are $e=16$, $f=15$, and $u=24$; the complete difference- and sum-diagonal multisets are displayed in the paper. It consequently also supplies an explicit finite input to their amplification theorem for type A covers, giving $γ(Q_N)\leq(17/33)N+O(1)$. This last coefficient improves both the earlier type A coefficient $69/133$ and the subsequent general coefficient $101/195$ of Burger and Mynhardt. The coordinates and a complete standard-library Python verifier are included.