arXiv++ Combinatorics

Let $H$ be a numerical monoid, that is, a cofinite submonoid of $\mathbb N$ (the non-negative integers under addition). Denote by $\mathcal P_{\text{fin},0}(H)$ the monoid obtained by endowing the family of all finite subsets of $H$ containing $0$ with the operation of setwise addition induced by $H$ on its power set. Tringali and Yan [JCTA, 2025] have recently established that $\mathcal P_{\text{fin},0}(\mathbb N)$ has a unique non-trivial automorphism, and conjectured that the automorphism group of $\mathcal P_{\text{fin},0}(H)$ is trivial whenever $H \ne \mathbb N$. We prove this conjecture and, as a byproduct, give a new proof of the Tringali--Yan theorem.

We define a coupling product and a draw coproduct on permutations and show that they define a graded, connected, cocommutative, free Hopf algebra $\mathbb{KS}$. In characteristic zero, this implies that $\mathbb{KS}$ is isomorphic to a certain cocommutative Hopf algebra associated with the dual of the coradical filtration of the Malvenuto--Reutenauer Hopf algebra on permutations. The coupling product and draw coproduct are permutation analogues of the product and coproduct on the monomial basis of symmetric functions; therefore, we can say that our presentation is a monomial basis for $\mathbb{KS}$.

For the neighborhood seed associated with the four-vertex path $P_4$, the diamond operations do not recover all Boolean-lattice pseudo-roots. The corresponding question for unrestricted rational operations in the free skew field is subtler: the seed map has an invertible linearization and therefore a unique formal inverse near every generic scalar point. We prove that this formal inverse is not free rational. A symmetric one-parameter curve of $2 \times 2$ matrix outputs has a formal inverse whose coefficient field contains an element of degree three over $\mathbb{Q}(t)$. An exact elimination in a quadratic Pauli algebra produces the irreducible cubic. Its conjugate inverse branches are unramified, forcing the generic matrix degree of the seed map to be at least three in every size $n \ge 2$. This contradicts the degree-one consequence of any free rational inverse. The same matrix-degree argument, without specializing a hypothetical inverse, extends the obstruction to every graph containing an induced $P_4$.

Dittert's conjecture asserts that, among nonnegative $n\times n$ matrices whose entries sum to $n$, the functional $φ(A)=\prod_{i=1}^n r_i+\prod_{j=1}^n c_j-\operatorname{per}(A)$ is uniquely maximized by the uniform matrix $J_n/n$. This paper proves the conjecture for $n=16$. The key observation is that, for a near-maximizer, the deficits of the row-sum and column-sum products satisfy a single joint constraint rather than two independent bounds. Combining this joint-deficit estimate with a Pinsker-type subset-sum bound yields a sharper scalar dilation to a doubly superstochastic matrix. The Knopp-Sinkhorn boundary lower bound for permanents then excludes maximizers with a zero entry, and Hwang's positive-support theorem identifies the unique maximizer. Together with Pang's result for $n\ge 17$ (arXiv:2606.01531), this establishes Dittert's conjecture for every $n\ge 16$.

In this article we establish global a priori estimates on the solution of a generic rough differential equation driven by an $α$-Hölder path covering the full range of regularity $α\in(0,1)$, under the hypothesis of Lipschitz continuity (but neither boundedness nor coercivity) of specific combinations of the coefficients and their derivatives, called elementary differentials. Our main tool is a closed formula for the remainder of a generalised Taylor expansion in terms of products of gradients of the elementary differentials, which allows to take advantage of cancellations in an optimal way.

For a totally ordered finite set $A$ with the total order $Q$, a poset $P=([d],\le_P)$, and a field $\mathbb{F}$, a tensor $T:A^d\longrightarrow \mathbb{F}$ is in $P$-echelon form if $r\le_{P}s$ in $P$ implies $a_r\le_Q a_s$ in every tuple $(a_1,\dots,a_d)$ in the support of $T$. We prove that if the Hasse diagram of $P$ has no isolated vertex, then tensors in $P$-echelon form with nonzero diagonal entries have full slice-rank. Our results extend and improve on recent results of Amanov and Yeliussizov.

Special cases of finite cyclic semifields were first constructed by Hughes and Kleinfeld in 1960, and later by Sandler in 1962 and Knuth in 1965. The general construction of cyclic semifields was subsequently introduced by Petit in 1966, and later rediscovered from the perspective of irreducible semilinear transformations by Jha and Johnson in 1989. Since Sandler's foundational work in 1962, the complete determination of the autotopism groups of cyclic semifields and the full resolution of the isotopy problem for this family have remained long-standing open problems. The most significant advances in determining these autotopism groups are due to Dempwolff in 2011, who left open the case in which the field extension degree strictly divides the degree of the polynomial defining the semifield. In this paper, we provide a complete classification of cyclic semifields up to isotopy, together with the full determination of their autotopism groups, thereby closing the remaining cases left open by Dempwolff. Since cyclic semifields arise as a special instance of a broader family of maximum rank distance (MRD) codes constructed via skew polynomials, our methods also yield a complete classification of these MRD codes up to linear and semilinear equivalence over the prime field, together with an explicit description of their full automorphism groups.

Let $\ell(\Mat_n(F))$ denote the length of the full matrix algebra for a field $F$, i.e. the largest of the least word length needed to span $\Mat_n(F)$, over all generating sets $S$ of $\Mat_n(F)$. Šitov proved the general estimate $$ \ell(\Mat_n(F)) \leq 2n\log_2 n+4n-4. $$ The purpose of this paper is to obtain a log-log saving, and prove that for every $n>1$, $$ \ell(\Mat_n(F)) \leq 2n\log_2 n-2n\log_2\log_2 n+5n. $$ A theorem of Specht gives a word-criterion for unitary similarity of complex $n\times n$ matrices. The trace argument of Freedman--Gupta--Guralnick, as used by Pappacena, shows that any upper bound on $\ell(\Mat_n(F))$ can be used to bound the \emph{terseness} $τ(n)$, i.e. the least upper bound for the length of words needed in Specht's theorem. Thus, for $n> 1$, $$ τ(n)\leq 4n\log_2 n-4n\log_2\log_2 n+10n+1. $$

A square matrix is called Hessenberg whenever each entry below the subdiagonal is zero and each entry on the subdiagonal is nonzero. A Hessenberg pair is an ordered pair of diagonalizable linear maps on a nonzero finite-dimensional vector space, that each act on an eigenbasis of the other one in a Hessenberg fashion. A Hessenberg system $Φ$ an `oriented' version of a Hessenberg pair. It is known that $Φ$ is determined up to isomorphism by its parameter array; this consists of the eigenvalue sequence of $Φ$, the dual eigenvalue sequence of $Φ$, and a sequence of nonzero scalars $\{φ_i\}_{i=1}^d$ called the split sequence of $Φ$. We are interested in some types of Hessenberg matrices, said to be circular, quasi-circular, tridiagonal, and irreducible tridiagonal. We are interested in the families of Hessenberg systems for which the associated Hessenberg matrices have one of the above types. A Hessenberg system of irreducible tridiagonal type is often called a Leonard system. In this case the associated Hessenberg pair satisfies two relations, called the tridiagonal relations. We are interested in the family of Hessenberg systems for which the associated Hessenberg pair satisfies the tridiagonal relations. We are also interested in the family of Hessenberg systems for which the eigenvalue sequence and dual eigenvalue sequence satisfy a linear three-term recurrence. In the present paper we have two main goals. First, we show how the above families of Hessenberg systems are related to each other. Second, we describe each family in terms of the parameter array.

Let $R$ be a ring with identity. The generalized von Neumann inverse graph of $R$, denoted by $Γ_{Reg}(R)$, is defined as the graph whose vertex set is $Reg(R)$, where two distinct vertices $a,b \in R$ are adjacent if and only if $aba=a$ or $bab=b$. In this work, we consider the reduced graph $Γ'_{Reg}(R)$ obtained by restricting the vertex set to $Reg(R)\setminus{0_R}$, so that $Γ_{Reg}(R) \cong K_1 + Γ'_{Reg}(R)$, allowing the analysis to focus on its nontrivial structure. We investigate the structure of $Γ'_{Reg}(R)$ for finite commutative von Neumann regular rings and establish several results describing its graph-theoretic properties in relation to the algebraic structure of $R$. In particular, we derive conditions that characterize connectivity, acyclicity, and planarity, and examine structural features such as vertex degrees, girth, and the existence of pendant vertices, along with their algebraic implications. We also identify circumstances under which $Γ'_{Reg}(R)$ exhibits specific graph classes, including paths, cycles, and wheels, as well as the presence of certain induced subgraphs. Furthermore, an explicit algorithm is provided to construct $Γ'_{Reg}(R)$, and connections with the inclusion ideal graph of $R$ are discussed, offering additional insight into the interplay between ring-theoretic properties and graph structures.

A Hopf monoid structure on extended generalized permutahedra (EGP) was recently introduced by M.Aguiar and F.Ardila. We investigate the existence of a cointeracting bialgebra structure on EGP's. We show that a suitable notion of cointeraction exists, not in the classical comodule sense, but via the framework of measuring algebras. The comodule-type map assigns to each polyhedron the sum of pairs of face and tangent cone at the face. EGP's and affine cone EGP's form the cointeracting bimonoids in species with EGP as a third measuring structure. EGP's are in bijection to extended submodular functions. For an EGP, we also describe explicitly the submodular functions of its faces and tangent cones. The braid fan and its relation to preorders play a key role in this description.

We investigate the combinatorial structure of the tropical characteristic polynomial of symmetric matrices using the tropical permanents of their principal submatrices. We establish new inequalities for the leading coefficients of the tropical characteristic polynomial, revealing concavity properties of the coefficient sequence and yielding necessary conditions for a sequence to arise as the coefficient sequence of the tropical characteristic polynomial of a symmetric matrix. These results provide a deeper understanding of the structure of tropical characteristic polynomials associated with symmetric matrices.

In this article we study complement ideals, and the dual concept of supplement ideals, in nearrings, both of which are generalizations of the concept of complement in a bounded modular lattice. We prove fundamental properties of complements and supplements in arbitrary nearrings. We then establish Galois connections between the ideal lattices of a nearring and of its matrix nearrings, yielding one-to-one correspondences between their respective complement and supplement ideals. We also define graphs associated with complement and supplement ideals of nearrings and study some of their combinatorial properties such as girth and clique number.

We use linear programming to prove a separable version of Ky Fan's majorization relation for a sum of two operators that are each a tensor product of $n$ positive semidefinite operators. We give an example showing that such a relation does not hold in general for sums of three or more tensor products of three or more positive semidefinite operators.

A square matrix is said to be Hessenberg whenever each entry below the subdiagonal is zero, and each entry on the subdiagonal is nonzero. A Hessenberg matrix is called circular whenever the top-right corner entry is nonzero, and every other entry above the superdiagonal is zero. A circular Hessenberg pair consists of two diagonalizable linear maps on a nonzero finite-dimensional vector space, that each act on an eigenbasis of the other one in a circular Hessenberg fashion. In 2022, Jae-ho Lee conjectured that a circular Hessenberg pair satisfies two relations called the tridiagonal relations. In the present paper, we prove Lee's conjecture. Our proof is not elementary.

For an acyclic cluster algebra, the $c$-vectors are, up to sign, the real Schur roots of the associated root system. We study the two-coordinate projections $(c_v, c_w)$ of this configuration: when the difference $c_v - c_w$ is bounded the image lies in a band of lattice lines, and we ask when the projection fills that band. A band-existence dichotomy, valid in every acyclic type, shows the difference is bounded if and only if the null root satisfies $δ_v = δ_w$. For affine type $\widetilde{A}_n$ (the annulus), in the source-sink orientation, we resolve the filling question completely: every coordinate projection fills its band except along the source-sink diagonal, which carries only the finite regular part. The obstruction is the Auslander--Reiten defect, which a projection sees on its diagonal exactly when the defect is a coordinate difference; the only such pair is the source-sink pair of $\widetilde{A}_n$, so the pattern depends on the chosen seed. More generally, every banded pair of null-root coefficient one fills, except these diagonals. Off the diagonal a banded pair in $\widetilde{E}_7$ fails to fill, so non-filling is not confined to type $\widetilde{A}_n$; a computation classifies the pairs of coefficient at least two over a range of affine types, where this $\widetilde{E}_7$ pair is the only further failure, and the general classification remains open.

Continuing our previous work, this paper closely studies the relationship between the cluster algebra structures on the coordinate ring of Schubert cells and those on the coordinate ring of partial flag varieties. We give a finite-type classification for these cluster structures and point out several results that were left open in our previous work.

We investigate standard polynomials for principal subalgebras of path algebras. First, we use standard polynomials to study the $PI$-theory of principal subalgebras. Then we describe the $St_2$-elements and $St_3$-elements of principal subalgebras, giving a characterization of their centers and 3-centers. In addition, we apply these results to combinatorics on words of formal languages, obtaining some explanations from a combinatorial perspective.

Given a central hyperplane arrangement $\mathcal{A}$ defined over a field of characteristic zero, we construct matrices of linear forms whose local ask zeta functions are recovered by the Igusa local zeta function of the cone over $\mathcal{A}$. Our construction extends a previously established connection between ask zeta function of hypergraphs and the Igusa local zeta function of Boolean arrangements. From a combinatorial standpoint, we introduce the truncated flag Hilbert-Poincaré series of $\mathcal{A}$, obtained as a rank specialisation of the flag Hilbert-Poincaré series of the cone over $\mathcal{A}$. Whenever $\mathcal{A}$ admits good reduction over the finite field $\mathbb{F}_q$, suitable substitutions of the variables of its truncated flag Hilbert-Poincaré series recover the local ask zeta functions associated with $\mathcal{A}$. Such formulae provide a means to study the analytic properties of the ask zeta functions considered, as well as to derive their reduced and topological relatives.

Recently, Ehret and Gilliers introduced the notion of a (trivially) restricted post-Lie algebra, recovering the concepts of a restricted Lie algebra and a restricted pre-Lie algebra. In this paper, we specifically introduce restricted Rota-Baxter Lie algebras of arbitrary weight with an intrinsic graph subalgebra characterization. We show that, via the splitting property, they give rise to restricted post-Lie algebras, and furthermore possess a novel replication property. We then present two natural constructions of such restricted Rota-Baxter structures in prime characteristic: one arising from Rota-Baxter associative algebras of arbitrary weight, and the other from Rota-Baxter Lie algebras of weight $1$. The Rota-Baxter $p$-envelopes of a Rota-Baxter Lie algebra are also examined.