math.CO ↗ arXiv
5274 papers in this category
Permanental Inequalities and Unit Interval Orders
Published in EPTCS 445, 2026, pp. 139-147
• View Publication
• BIB
Given a square matrix, the permanent is a determinant-like function without signs. In this paper, we study inequalities involving permanents of certain submatrices. We first focus on a family of zero-one totally nonnegative matrices that arise as anti-adjacency matrices of unit interval orders. For these matrices, we prove a collection of inequalities comparing products of permanents of consecutive principal submatrices with products of permanents of parity-selected principal submatrices.
We also study a related combinatorial problem involving two families of permutations: a Young subgroup and a set of parity alternating permutations. We construct a bijective map from the first family to the second family, and verify computationally for n at most 13 that each permutation is below its image in Bruhat order. We conjecture that this property holds for all n. If true, this would imply one of the main permanent inequalities for all totally nonnegative matrices in the balanced case. More broadly, we conjecture that the full family of inequalities holds for all totally nonnegative matrices.
A $q$-analogue of the rational normal curve and linearized Reed-Solomon codes
The relationship between linear codes in the Hamming metric and projective algebraic varieties has led to deep interactions between coding theory and algebraic geometry, with classical examples such as Reed-Solomon codes and the rational normal curve. On the other hand, the sum-rank metric has recently gained attention due to applications in network coding, distributed storage, and post-quantum cryptography, with linearized Reed-Solomon codes emerging as optimal constructions. Despite recent advances, their structural and geometric properties are still not fully understood, and existing distinguishers remain limited. In this paper, we develop a geometric framework for linearized Reed-Solomon codes by considering a $q$-analogue of the rational normal curve. This yields a geometric characterization for certain parameter choices and reveals that the corresponding sets of points satisfy unexpectedly many $(q+1)$-degree hypersurface conditions. Our approach extends Schur-product-based techniques from the Hamming and rank-metric settings to the sum-rank metric case. Finally, we study the Hilbert function of the associated coordinate ring, providing a detailed description of its behavior and identifying its regularity, which also sheds new light on Gabidulin codes.
Monotonicity of the rank functions for concave compositions
A (strongly) concave composition of an integer $n$ is a sequence of positive integers that is (strictly) decreasing to a point and then (strictly) increasing thereafter, such that the sum of the entries equals $n$. The value at the low point is called the center part. The difference between the number of entries before and after the low point of the sequence is referred to as the rank of the (strongly) concave composition. The rank functions $V_d(m,n)$ and $V(m,n)$ are defined as the number of concave compositions and strongly concave compositions, respectively, of $n$ with rank $m$. By constructing the difference systems that characterize the rank generating functions, we establish monotonicity properties for the rank functions of both strongly concave compositions and concave compositions for all positive integers $n$. Moreover, we also study the monotonicity properties for the rank functions of (strongly) concave compositions with fixed center parts.
A complete solution to the biased Alon-Krivelevich-Spencer-Szabó criterion problem for the discrepancy game
Let \(H=(V,\mathcal E)\) be a finite hypergraph. For positive integers \(p\) and \(q\), the \((p:q)\)-biased discrepancy game on \(H\) is played in complete rounds. In each round, Balancer first claims \(p\) previously unclaimed vertices, and then Unbalancer claims \(q\) previously unclaimed vertices. Let \(B\) and \(U\) be the final sets of vertices claimed by Balancer and Unbalancer, respectively. For an edge \(e\in\mathcal E\), define $D_e = q|B\cap e|-p|U\cap e|
= (p+q)|B\cap e|-p|e|$. Thus \(D_e\) measures the deviation of Balancer's share of \(e\) from the density \(p/(p+q)\). In 2005, Alon, Krivelevich, Spencer and Szabó proved a Chernoff-type potential criterion for the unbiased alternating discrepancy game, corresponding to the case \(p=q=1\), and asked for a biased analogue for general $p,q$. In this paper, we prove a complete biased analogue in the complete-round formulation. More precisely, for every finite hypergraph \(H=(V,\mathcal E)\) and every fixed bias \((p:q)\), we give an explicit exponential condition under which Balancer has a strategy forcing $-L_e^- \le D_e \le L_e^+$ for every $e\in\mathcal E$, where \(L_e^+\) and \(L_e^-\) are prescribed edge-dependent target values. The criterion is fully non-uniform: the edge size \(|e|\), the upper target \(L_e^+\), the lower target \(L_e^-\), and the exponential parameters in the condition may all vary with \(e\).
Generalised Prisms and Euclidean Ramsey Theory
A finite subset $X$ of $\mathbb R^d$ is called Ramsey if for every $k$ there exists an $n$ such that whenever $\mathbb R^n$ is $k$-coloured there exists a monochromatic congruent copy of $X$. K\v rí\v z showed that if there is a soluble group of symmetries of $X$ that acts transitively on $X$, then $X$ is Ramsey. Determining which sets are Ramsey is a major unsolved problem.
In this paper we show that if there is a finite group of isometries of $\mathbb R^d$ that acts transitively on a set $X$, and also on a set $Y$, then the `prism' formed by $X$ and $Y$ in $\mathbb R^{d+1}$ (meaning the set $X$ together with a translate of $Y$ in the direction perpendicular to $\mathbb R^d$) is itself contained in a finite set on which a group of isometries acts transitively. Moreover, if the initial group of isometries is soluble then so is the final group. This provides a new tool for generating Ramsey sets.
Wang-Qiu-Hu switching and isomorphism
Cospectral graphs (graphs that share the same eigenvalues) expose the limitations of using the graph spectrum to uniquely identify graphs, and they also help to understand what structural properties a graph spectrum cannot capture. Switching methods, which are standard tools for constructing cospectral graphs, require specific structural and algebraic conditions to hold for the operation to preserve the graph's spectrum. However, there is no guarantee that the obtained cospectral switched graph is non-isomorphic. In this paper we study this isomorphism problem for a recent and prolific switching method to produce cospectral graphs with respect to the adjacency spectra: Wang-Qiu-Hu (WQH) switching. We do so by using common-neighbour multisets associated with a WQH partition, which allows us to derive an external common-neighbour criterion for certifying non-isomorphism after WQH-switching. Then, we apply the new criterion to clique extensions and to weak tensor products, with coclique extensions as a special case. As an application we obtain infinite families of cospectral non-isomorphic graphs, including some known constructions. Finally we extend the conditions of WQH-switching to generalized adjacency matrices and, under an additional degree condition, to Laplacian and signless Laplacian matrices.
Weak order: Alternating sign matrices, monotone triangles, and bumpless pipe dreams
In 2018, Hamaker and Reiner introduced weak order for monotone triangles, which extended the usual notion of weak order on the symmetric group. Monotone triangles on $\{1, \ldots, n\}$ are well-known to be in bijection with the set ASM$(n)$ of $n \times n$ alternating sign matrices. Hamaker and Reiner defined weak order on ASM$(n)$ to be induced from weak order on monotone triangles via the standard bijection. Recently, the present authors used an a priori different definition of weak order on ASM$(n)$ to give a combinatorial characterization of the codimension of ASM varieties and to show that the natural K-theoretic representatives of these varieties satisfy a divided difference recurrence.
In the present work, we establish compatibility of these definitions of weak order on ASM$(n)$. Additionally, we give three different explicit means of computing weak order covering relations on ASM$(n)$: on ASMs themselves, on monotone triangles in a manner different from that given by Hamaker and Reiner, and on bumpless pipe dreams, which are a newer family of combinatorial objects also in correspondence with ASMs. Finally, using the language of bumpless pipe dreams, we characterize the fibers of the weak order operators, each of which forms a sublattice of the strong Bruhat order on ASM$(n)$.
On the non-existence of skew-Hadamard difference sets in certain non-abelian groups
Published in Australas. J. Combin. 95 (2) (2026), 248-256
• Search Publication
A skew-Hadamard difference set (SHDS) in a finite group $G$ is a classical combinatorial object with deep connections to design theory, coding theory, group theory, and the construction of Hadamard matrices. Even though the abelian case has been extensively studied -- with strong structural constraints known, such as the necessity of $G$ being a $p$-group for some prime $p \equiv 3 \pmod{4}$ -- there are still some open questions regarding existence of SHDSs for the abelian case. The non-abelian case remains largely unexplored, despite the known existence of non-abelian SHDSs. In this paper, we establish new necessary conditions on the order and structure of a finite group $G$ that admits an SHDS. These results provide the first general structural restrictions for SHDSs in non-abelian groups. In particular, we prove that if a group $G$ is nilpotent and admits an SHDS, then $G$ is a $p$-group. Our method makes use of the structure of the rational group algebra, and completely avoids the use of the group characters.
Optimal Proximity Bound and Product Function Estimates in Integer Linear Programming
We obtain an optimal proximity bound for integer linear programs in standard form max{cx: Ax=b, x nonnegative integer}, where A is an integer mxn matrix of rank m<n and b is an integer vector. Specifically, we show that the Euclidean distance from any optimal vertex solution of the LP relaxation to a nearest optimal integer solution is bounded by $\sqrt{\det(AA^t)}-1$ and that this estimate is asymptotically tight. We also derive bounds for the optimal integer solutions involving the product function $\prod_{i=1}^{n}(x_i+1)$ and discuss their applications in the knapsack setting.
Some new modular Nahm sums of ranks 3 and 4
We discover six new families of modular Nahm sums in ranks 3 and 4. Two of them are rank three sums obtained by modifying two of Zagier's rank three examples. Three rank four families are derived by applying the lift-dual operation to the rank three tadpole Nahm sums studied by Milas and Wang, while the other rank four family is found by the constant term method. To prove modularity, we establish Rogers-Ramanujan type identities that express these Nahm sums as infinite products which are modular.
Split primes and the Elekes-Rónyai problem
There exist an absolute constant $c>0$ and arbitrarily large finite sets $A\subset \mathbb{R}$ with $$\left| \left\{x+y+(x-y)^2:\ x, y \in A\right\}\right| \le|A|^{2-c}.$$ Since $x+y+(x-y)^2 \in \mathbb{R}[x,y]$ is a polynomial which is neither additive nor multiplicative, this provides a counterexample for the Elekes-Rónyai problem.
Growth of Approximate Groups in Hyperbolic Groups
We prove a growth dichotomy for infinite approximate groups, and more generally approximate semigroups, in hyperbolic groups. If \(G\) is a finitely generated hyperbolic group and \(A\subseteq G\) is infinite with \[
A^2\subseteq AX \] for some finite \(X\subseteq G\), then either \(\langle A\rangle\) is virtually cyclic, or \(A\) has positive exponential growth in the ambient word metric.
We also introduce a product-growth criterion for the existence of growth rates of approximate semigroups. The criterion applies to hyperbolic groups: if \(G\) is hyperbolic with finite generating set \(S\), then there is a constant \(c_{G,S}>0\) such that \[
|UV| \geq c_{G,S}\,\frac{|U||V|}{n+k+1},
\qquad U\subseteq B_n,\; V\subseteq B_k. \] The linear loss is optimal in order whenever \(G\) contains an element of infinite order. In the free group with its standard generating set one may take \(c_{G,S}=1/4\). We also prove that, in a free group, if \(U\subseteq S_n\) and \(V\subseteq S_k\), then \[
|UV|\geq
\left(\frac{2}{3}+\frac{1}{3\cdot 4^{\min\{n,k\}}}\right)|U||V|, \] and this constant is sharp for all \(n,k\).
On the sunflower property and the galah property
Sunflowerability, or the infinite sunflower property, was introduced and studied by Ackerman, Karker and Mirabi as a structural generalization of the well-known Δ-system lemma for sets. It turns out that for relational Fra\''issé limits with strong amalgamation, this property is equivalent to the so-called galah property, which was introduced by Sullivan and Winkel as an asymmetric variation of indivisibility. This paper is about these two properties and is divided into three parts. In the first part, we show that the conjecture proposed by Ackerman, Karker and Mirabi about the infinite sunflower property in higher dimensions is far from being true by proving that no infinite structure has the infinite n-sunflower property in dimension k for any n, k \geq 2. In the second part, we give a complete characterization of the galah property for Henson directed graphs, homogeneous metric spaces and homogeneous ultrametric spaces, thereby answering the second question asked by Sullivan and Winkel. The third part contains several additional results about the finite sunflower property, including a strengthening of recent results about indivisibility for some classes of undirected graphs obtained by Guingona et al..
Vertex-critical co-gem-free graphs
A graph $G$ is $k$-$colorable$ if $V(G)$ can be partitioned into at most $k$ stable sets. A graph $G$ is $k$-$chromatic$ if $k$ is the smallest integer for which $G$ is $k$-colorable. In general, for a fixed $k\ge 3$, determining whether an arbitrary graph $G$ is $k$-colorable is NP-complete. Consequently, $k$-coloring algorithms for restricted graph classes, such as $\mathcal{H}$-free graphs, have been widely studied over the past few decades. A graph $G$ is $k$-$vertex$-$critical$ if $G$ is $k$-chromatic and every proper induced subgraph of $G$ is ($k$-1)-colorable. Given a graph $G$, most of the certifying $k$-coloring algorithms in the literature either output a $k$-coloring of $G$ or a ($k$+1)-vertex-critical induced subgraph of $G$, thus, proving that $G$ is not $k$-colorable. As a result, $k$-vertex-critical graphs have gathered considerable attention in the recent years. Beaton and Cameron [Vertex-critical graphs in co-gem-free graphs, Theoretical Computer Science 1042 (2025) 115234] asked for which graphs $H$ of order five are there finitely many $k$-vertex-critical (co-gem, $H$)-free graphs for all $k$?
In this paper we explore the structure of (co-gem, house)-free graphs and (co-gem, dart)-free graphs, and prove that, for each $k\ge 1$, there are finitely many $k$-vertex-critical (co-gem, $H$)-free graphs, when $H$ is in $\{$house, dart$\}$.
Algebraic cobordism rings of wonderful varieties and matroids
We give two combinatorial presentations for the algebraic cobordism ring $Ω^*(M)$ of the toric variety of the Bergman fan of any loopless matroid $M$. As a consequence of our presentations, we obtain an $Ω^*(\mathrm{pt})$-algebra isomorphism $Ω^*(M) \simeq CH^*(M) \otimes_{\mathbb{Z}} Ω^*(\mathrm{pt})$, where $CH^*(M)$ is the Chow ring of $M$ and $Ω^*(\mathrm{pt})$ is the algebraic cobordism ring of the point. This isomorphism generalizes, in part, the exceptional integral isomorphism between the Chow ring and $K$-ring of a matroid, studied in the recent works of Berget--Eur--Spink--Tseng and Larson--Li--Payne--Proudfoot. For a complex hyperplane arrangement $\mathcal{H}$, we prove that the algebraic cobordism ring of the wonderful variety $W_\mathcal{H}$ of $\mathcal{H}$ and the algebraic cobordism ring of the toric variety of the matroid underlying $\mathcal{H}$ are isomorphic, and that both rings coincide with the complex cobordism ring of $W_\mathcal{H}$.
The censored stochastic six-vertex model and parabolic Kazhdan--Lusztig $R$-polynomials
We introduce a censored version of the stochastic six-vertex model. We show that for parameters $b_1 < b_2$, this model started from the initial condition ${1}_{x>0}$ is stochastically dominated at any time by the blocking measure. This is a partial analog of the censoring inequality for monotone spin systems. In particular, this result allows us to control the behavior of second-class particles. The proof uses parabolic Kazhdan--Lusztig $R$-polynomials, whose appearance is explained using a connection between the stochastic six-vertex model and the Iwahori--Hecke algebras of symmetric groups. Furthermore, we find an intertwining relation for this process using normalized parabolic Kazhdan--Lusztig $R$-polynomials as an intertwining kernel.
On partially matchable subspaces in a field extension
We formulate and prove linear counterparts of results on partial matchings between finite subsets in abelian groups. In the group setting, there are necessary and sufficient criteria for the existence of partial matchings under suitable hypotheses; our aim is to obtain parallel statements in a linear framework. In particular, for a field extension $K\subsetneq L$ we introduce a notion of partial matching between finite-dimensional $K$-subspaces $A,B\subseteq L$, and we prove existence theorems mirroring known results for subsets of abelian groups. Along the way, we recover and extend various parts of this area of matching theory, emphasizing the close analogy between the group-theoretic and linear settings. Our approach blends classical linear-algebraic techniques with tools from matroidal transversal theory, and utilizes a linearized version of a method originating in additive number theory.
Nordhaus-Gaddum upper bounds for graph connectivity parameters
We examine upper bounds on Nordhaus-Gaddum type problems for parameters related to graph connectivity. Our main result is that for a graph $G$ on $n$ vertices where both $G$ and its complement $G^c$ are connected, then the sum of the algebraic connectivity of $G$ and the algebraic connectivity of $G^c$ cannot exceed $n-3$ (with finitely many exceptions with a small number of vertices). We obtain similar results for the isoperimetric number of a graph, and explore similar Nordhaus-Gaddum type questions for the Cheeger constant and the second eigenvalue of the normalized Laplacian matrix.
A note on generic $n$-partite graphs
An $n$-partite graph is a graph such that every vertex has a color in $\{1,\ldots,n\}$ and every two vertices of the same color are not adjacent. We study the model comparisons of the theories of $n$-partite graph and $K_{\overline{m}}$-free $n$-partite graph, where $K_{\overline{m}}$ is a complete graph of a given size. The model companion of the theory of $n$-partite graph is simple and has IP. The model companion of the theory of $K_{\overline{m}}$-free $n$-partite graph has $\operatorname{TP}_2$, $\operatorname{SOP}_3$ and $\operatorname{NSOP}_4$ if $n > 2$. Forking independence coincides with dividing independence in this theory.
Multiplicity of Laplacian eigenvalue 1 of a graph
Let $G$ be a graph with $p(G)$ pendant vertices and $q(G)$ quasi-pendant vertices. Denote by $m_{L(G)}(λ)$ the multiplicity of $λ$ as a Laplacian eigenvalue of $G$. A graph $G$ is called reduced, if $p(G)=q(G)$. It is known that deleting a pendant path $P_3$ from a graph $G$ cannot change $m_{L(G)}(1)$. By the reduction operation for a graph (defined by Tian and Wong, 2026), we could turn to the reduced graphs with each quasi-pendant vertex of degree 2 to investigate $m_{L(G)}(1)$. Then let $T$ be a reduced tree on $n(\geq 7)$ vertices with each quasi-pendant vertex of degree 2 and without pendant path $P_3$. We first prove that \begin{equation*}
m_{L(T)}(1)\leq \frac{n-5}{6} \end{equation*} and the extremal trees attaining the upper bound are determined completely. In addition, let $G$ be an arbitrary connected reduced graph with order $n\geq 6$ and size $m$. Denote by $c=m-n+1$ the first Betti number of $G$, then we obtain \begin{equation*}
m_{L(G)}(1)\leq c+\frac{n-2}{4}, \end{equation*} and the extremal graphs attaining the upper bound are characterized completely.