arXiv++ Combinatorics

Given a semigroup $S$, a diagonal subsemigroup $ρ$ is defined to be a reflexive and compatible relation on $S$, i.e. a subsemigroup of the direct square $S\times S$ containing the diagonal $\{ (s,s)\colon s\in S\}$. When $S$ is finite, we define the DSC coefficient $χ(S)$ to be the ratio of the number of congruences to the number of diagonal subsemigroups. In a previous work we observed that $χ(S) = 1$ if and only if $S$ is a group. Here we show that for any rational $α$ with $0 < α\leq 1$, there exists a semigroup with $χ(S) = α$. We do this by utilizing the Rees matrix construction and adapting the congruence classification of such semigroups to describe their diagonal subsemigroups.

The alternating composition of $N = 2p$ weighted differential operators $w_j(x)\cdot\partial_x^{\,p}$ of strict order $p$ on the line $\mathbb{R} \ni x$ is again an operator of order $p$; its coefficient is the universal constant $c(p)$ times the Wronskian of the weights $w_1,\ldots,w_N$. Lie brackets of vector fields fix $c(p=1)=1$; we want to find $c(p \geqslant 2)$: e.g., $c(2) = 2$ or $c(3) = 90$. Direct symbolic expansion (over $|S_{2p}| =(2p)!$ permutations) fails for $p \geqslant 4$. Taking the monomials $w_j = x^{j-1}$ reduces the summation to the much smaller set $Φ_p \subseteq S_{2p-1} \subsetneq S_{2p}$ of late-growing permutations. Expressing $c(p)$ as a signed sum of products of falling factorials, we implement and speed up the algorithm that gains all the integer values up to $c(18) = 4.881\ldots \cdot 10^{462}$. The resulting sequence is new, now registered as OEIS A392714; its (sub)leading-order growth rate is $\log c(p) \simeq 2p^2\log p -b p^2 + \overline{o}(p^2)$ for $p\gg 1$, with $b\geqslant 2.6744$.

We study the dimension defect of finitely many subspaces over an arbitrary field. We derive a symmetric, nonrecursive Grassmann-type formula for the dimension of their sum. The formula expresses the total dimension loss through intersections of a distinguished subspace with partial sums of the remaining subspaces, with coefficients determined by the number of subspaces involved. We also show that the formula admits a Shapley-value interpretation for the associated representable polymatroid. Grouping the correction terms by the number of participating subspaces yields a nonnegative dimension-defect profile. We prove that this profile is monotone and identify its successive gaps with the discrete curvatures of the average-rank profile. These gaps give exact remainders in two-sided defect bounds. Equality in either bound holds precisely when the images of the subspaces in the quotient by their common intersection form an internal direct sum. We also give an exact geometric decomposition of the Kinser slack into nonnegative quotient dimensions and characterize equality. Averaging these slacks over permutations and contractions recovers every defect curvature except the final one; additional representability constraints remain in the individual ordered slacks. Weighted and dual formulas accompany the expansion, and entropy analogues express the defect levels and curvatures as averages of mutual and conditional mutual information, respectively.

For every $N\ge36$, we realise any prescribed monic irreducible binary polynomial of degree $N$ as the characteristic polynomial of a linear hybrid cellular automaton on a near-square region of exactly $N$ cells. The transition matrix is Moore-local with a null boundary and has at most $3N-1$ directed nonself dependencies. The dependency graph retains a bidirectional Hamilton path; its indegree, outdegree and underlying undirected degree are at most six. The underlying graph contains an explicit square grid minor of side proportional to $\sqrt N$. The deterministic synthesis takes $O(N^3)$ bit operations. The construction combines a local similarity transformation with a transport potential and joint routing across consecutive row gaps. Exact verification of finite certificates, followed by induction, proves the required routing inequalities for every admissible width. We also give an entirely analytic construction with fewer than $7N/2$ dependencies and prove a lower bound of $5N/2-O(\sqrt N)$ for the retained path and full rectangular grid minor. This lower bound is sharp when the characteristic polynomial is unrestricted.

We study the realization problem for point schemes of skew polynomial algebras. We approach this problem combinatorially by translating it into the study of certain $3$-uniform hypergraphs, which we call point hypergraphs. We first give a homological criterion characterizing point hypergraphs. Using this criterion, we study hypergraphs obtained by deleting triangles from triangulations of connected orientable closed surfaces. Deleting exactly one triangle always gives a non-point hypergraph. When the triangulation has no separating nonfacial $3$-cycles, deleting either no triangles or at least two triangles gives a point hypergraph, and the one-triangle deletions are minimal non-point hypergraphs with respect to taking induced sub-hypergraphs. It follows that point hypergraphs cannot be characterized by finitely many forbidden induced sub-hypergraphs. Next, for each point hypergraph, we construct an affine moduli variety of skew polynomial algebras realizing it, and determine its dimension. For point hypergraphs arising from the above surface construction, we obtain an explicit dimension formula in terms of the number of vertices, the Euler characteristic, and the number of deleted triangles. Finally, we characterize point hypergraphs on six vertices in terms of a four-vertex local condition together with a single exceptional obstruction.

Let X and Y be finite ordered sets and let $X^Y$ denote the ordered set of order-preserving maps from $Y$ to $X$. Let $t$ be a~term formed from a~single variable by exponentiation. We prove that, for every term $t$ with at most twelve variable occurrences and arbitrary finite ordered sets $A,B$, $t(A)\cong t(B)$ implies that $A\cong B$. General constructions and reconstruction principles are developed first; the second part gives the occurrence-by-occurrence proofs. At twelve occurrences the proof covers 4,766 interchange normal forms, representing all 58,786 binary parenthesizations, including 40 exceptional forms. Two additional unbounded reconstruction families, complete finite audit data, and 457 exact height-comparison certificates are included.

The theory of cluster algebras is closely connected to the theory of total positivity; indeed, the desire to better understand total positivity was one of the main motivations for Fomin and Zelevinsky's introduction of cluster algebras [arXiv:math/0104151]. In particular, any cluster variety whose coordinate ring has a cluster structure has a natural notion of positive part: the subset of the variety where all cluster variables are positive. In this paper, we explain that there are other signed cells contained in cluster varieties that are equally natural from a cluster-theoretic point of view. These come from signed seeds, which can be thought of as a $\mathbb{Z}/2\mathbb{Z}$-grading on cluster variables, and which were introduced in [arXiv:2310.17727] in the context of the amplituhedron. More generally, given any abelian group $G$, we introduce the notion of a $G$-graded seed for a cluster algebra, which is a way of assigning elements of $G$ to each cluster variable which is compatible with the cluster structure. When $G$ is the multiplicative group $\{-1, 1\}$, this recovers the above notion of signed seed; when $G = \mathbb{C}^*$, this recovers the notion of cluster automorphism group [GSV10] or cluster dilation group [arXiv:2603.17890]; and when $G = \mathbb{Z}^d$, this recovers the notion of graded cluster algebra studied by Grabowski-Launois [arXiv:1301.2133], Grabowski [arXiv:1309.6170] and Gekhtman-Shapiro-Vainshtein [GSV10, Section 5.2] (which had previously appeared in special cases in work of Fomin-Zelevinsky [arXiv:math/0602259]). The examples we study include the space of square matrices, symmetric matrices, skew-symmetric matrices, positroid varieties, and amplituhedron tiles. We also connect this notion to tropical mutation when $G = \mathbb{R}$ or $\mathbb{Z}$.

We study skew-symmetrizable cluster algebras $\mathcal{A}$ associated with unpunctured surfaces $\tilde{\mathbf{S}}$ endowed with an orientation-preserving involution $ς$. We give a geometric realization of such cluster algebras by showing that cluster variables of $\mathcal{A}$ correspond to non-crossing $ς$-orbits $[γ]$ of arcs of $\tilde{\mathbf{S}}$, while clusters are given by admissible $ς$-invariant triangulations. We establish a formula expressing some cluster variables of $\mathcal{A}$ in terms of those of a skew-symmetric cluster algebra of the same rank, which is combinatorially derived from $\mathcal{A}$. We use this result to provide a cluster expansion formula in terms of perfect matchings of some labeled modified snake graphs constructed from the arcs of $[γ]$. Then, we associate a symmetric finite-dimensional algebra $A$ to $\mathcal{A}$, such that non-initial cluster variables correspond to some orthogonal indecomposable $A$-modules. Finally, we exhibit a purely representation-theoretic map to $\mathcal{A}$, providing a Caldero-Chapoton map in this setting.

Børve, Horiatakis, and Kalck defined the magnitude of the module category of a representation-finite algebra as the sum of the entries of the inverse of the matrix of Hom dimensions between indecomposable modules. They showed it is an Euler characteristic, the alternating count of vertices, arrows, and meshes of the Auslander--Reiten quiver, and conjectured that it is at least the number of simple modules, with equality precisely for special biserial algebras. We prove this conjecture over an algebraically closed field. For a representation-directed algebra, we relate the magnitudes of the module category, the subcategory of modules without a given simple composition factor, and the ideal quotient by it. By the theory of hammocks of Ringel and Vossieck, this quotient is equivalent to a category of representations of a finite poset, whose magnitude we compute. The general case reduces to the representation-directed case through algebras obtained by grading a standard form.

We prove a permanental analogue of Koteljanskii's inequality. If $A$ is an inverse $M$-matrix that becomes symmetric after a positive diagonal similarity, then $\mathrm{per}(A_{S\cup T})\,\mathrm{per}(A_{S\cap T})\ge\mathrm{per}(A_S)\,\mathrm{per}(A_T)$ for all $S,T\subseteq[n]$, where $A_S$ is the principal submatrix indexed by $S$. The proof expresses permanents as moments of a complex Gaussian vector and uses Ginibre's correlation inequality. Finally, an explicit counterexample shows that symmetry cannot be dropped.

In this paper, we extend Mazzola's model of two-voice counterpoint to three-voice first-species counterpoint. The construction combines a fiber product over a shared lower voice with a harmonic mask and a two-stage maximization defining admitted successors. For the Fuxian dichotomy, we compute the successor relation and investigate connections with the Riemann dichotomy and neo-Riemannian transformations. Among pairs of same-mode triads, the model admits the most transporter realizations exactly at the pairs that generate Mazzola's Riemann monoid, but it does not single out the dominant-tonic pair, and it admits only 12 of the 192 parsimonious neo-Riemannian realizations, largely because it excludes transitions that keep a pair of voices stationary.

Let $R$ be a commutative Artinian ring. We consider two graphs associated to $R$, namely the compressed zero-divisor graph $Γ_E(R)$ and the associate class graph $Γ_A(R)$. Partitioning the vertex set of a zero-divisor graph into its core and its boundary, we count the core vertices that dominate the core. This count is a graph invariant, and we estimate it for $Γ(R)$, $Γ_A(R)$ and $Γ_E(R)$. We prove that the count for $Γ_A(R)$ is bounded below by the count for $Γ_E(R)$, and that the lower bound is attained precisely when $R$ is Gorenstein. As a consequence we obtain that $R$ is Gorenstein if and only if $Γ_A(R)\congΓ_E(R)$ as graphs, the isomorphism being an arbitrary one and not merely the natural compression map. Using the same counting technique we then answer, for Artinian rings, a question of Anderson and LaGrange by showing that $Γ(R)\congΓ_E(R)$ if and only if $R\cong \mathbb Z_2^{\,n}$ for some $n\ge2$, or $R\cong\mathbb Z_4$, or $R\cong\mathbb Z_2[x]/(x^2)$.

We determine the number of positive integral points on $n$-dimensional affine varieties associated to arbitrary $n \times n$ generalized Cartan matrices. An application to the theory of cluster algebras and combinatorics is the resolution of the Fontaine-Plamondon conjecture, which says that there are exactly $4400$ and $26952$ positive integral friezes of type $E_7$ and $E_8$ respectively. An application to number theory is a refinement and generalization of theorems of Mordell, Mohanty, and Schinzel to positive integers and higher dimensions by exhibiting examples of log K3 surfaces $xyz = G(x, y)$ and affine threefolds $xyzw = G(x, y, z)$ of every degree greater than $3$ with infinitely many positive integral solutions.

We give a direct, self-contained construction of the three sporadic Fischer groups $\mathrm{Fi}_{24}'$, $\mathrm{Fi}_{23}$, and $\mathrm{Fi}_{22}$ from the $783$-dimensional Conway-Parker algebra. We prove that its distinguished roots define involutory algebra automorphisms whose projective actions generate the full Fischer $3$-transposition group $\mathrm{Fi}_{24}$. Its commutator subgroup gives $\mathrm{Fi}_{24}'$, while $\mathrm{Fi}_{23}$ and $\mathrm{Fi}_{22}$ arise as centralizer quotients associated with one and two commuting transpositions. The root and frame geometry determines the group orders and leads to elementary proofs of simplicity, as well as natural rank-three actions and nonsplit central extensions. The construction uses standard facts about the Golay code, Parker's loop, and $M_{24}$. It does not use the Monster or previously known existence or order results for the Fischer groups. Fischer's classification and later recognition theorems are used only for the final identification.

Non-commutative friezes have been introduced by Berenstein and Retakh and studied further by the authors. In this paper we consider non-commutative friezes over normed division rings, like for instance Hamilton's quaternions or more general quaternion algebras. We address the fundamental question in the theory of friezes of whether over a certain subset there are finitely or infinitely many non-commutative friezes (with 1's on the boundary) for any height. As an application of a theorem bounding the norm of quiddity entries we deduce that for every norm-finite subset of a normed division ring there are only finitely many such non-commutative friezes for every height. In particular this result applies to the Lipschitz quaternions and the Hurwitz quaternions of Hamilton's quaternions. We then study more generally non-commutative friezes over Lipschitz subrings of non-split quaternion algebras $(a,b)_{\mathbb{Q}}$. We determine the frieze subrings for all $a,b<0$, and as a consequence we see that all such non-commutative friezes are known if $a\le -4$ and $b\le -4$.

We introduce Boolean trusses, that is, trusses in which every element is idempotent. Every Boolean truss admits a decomposition into a truss arising from a Boolean ring and a rectangular truss. Furthermore, we classify all Boolean trusses up to isomorphism.

The study of preordered semirings is motivated by applications in computer science, graph theory, and information theory, and provides tools for understanding the asymptotic preorder, which compares large powers of a pair of elements. This paper studies sequences which behave approximately as sequences of powers, but are not necessarily equivalent to geometric sequences. Our main result is that preordered semirings admit completions where such sequences, that we call approximately geometric, become equivalent to geometric sequences, and that existing characterizations of the asymptotic preorder extend to the completion. We provide several classes of examples of approximately geometric sequences in the semiring of tensors, and in the semiring of graphs. As a concrete application, we determine the strong converse exponent for binary hypothesis testing with composite Markov hypotheses.

We give explicit algorithms that factor elements of the standard diagram monoids into their usual generators. These algorithms generalize sorting from permutations to partial matchings and set partitions. In every case the worst-case complexity is $n^2$, which is optimal for algorithms that explicitly list the factors. We also determine the average complexity of our algorithms.

We prove Laurent positivity for skew-symmetrizable quantum cluster algebras of rank three, with arbitrary integral compatible quantizations and invertible frozen variables. The proof uses mutation-acyclic positivity from a companion manuscript.

We present a new proof of a classical theorem of Dieudonné: if a linear space of $n\times n$ matrices consists entirely of singular matrices, then its dimension is at most $n^2-n$. Our proof is based on a surprising ``duality'' argument: we prove this universal upper bound by exhibiting a single matrix space that serves as a lower bound for a related problem. Interestingly, this approach only works for certain fields, but we use model-theoretic arguments to obtain the same result for all fields. We hope that this approach can be generalized to provide new duality-based proofs of other classical theorems on matrix spaces, and give some preliminary results in this direction.