SCMAlgebras: a Macaulay2 package for sequentially Cohen-Macaulayness

2026-06-12T11:18:49Z

We introduce the Macaulay2 package SCMAlgebras. It provides functions for computing the modules of deficiency and the filter ideals, in order to check whether a module or an ideal is sequentially Cohen-Macaulay. The package also implements routines for studying other Cohen-Macaulay type conditions and unmixedness. After recalling the basic algebraic notions and results, the main features of the package are described through examples.

Inherited arcs in André planes of even order

2026-06-12T10:59:50Z

André planes of order $q^t$ can be constructed from the Desarguesian plane $PG(2,q^t)$ using a process that involves replacing André nets. This article constructs ovals in André planes of order $q^t$, $q$ even and $t$ prime that are inherited from conics of the Desarguesian plane $PG(2,q^t)$. Further, it is shown that certain conics do not inherit to arcs under the process of André replacement.

An improved bound on the number of dot products determined by a finite point set in the plane

2026-06-12T10:42:32Z

We are interested to bound from below the number of distinct dot products determined by a finite set of points $P$ in the Euclidean plane. In this paper, we build on the work of B. Hanson, O. Roche-Newton, and S. Senger, to obtain the improved lower bound \[|\{p\cdot q : p,q\in P\}|\gtrsim |P|^{\frac2 3 + \frac{7}{1425}}.\]

The Signed Goldman-Iwahori Space and Real Tropical Linear Spaces

2026-06-12T10:08:46Z

For a real closed field $K$ with a non-Archimedean absolute value, we introduce the signed Goldman--Iwahori space, the space of homothety classes of signed seminorms on a finite-dimensional vector space over $K$. This space merges two geometric perspectives: it is the linear-algebraic analogue of the real analytification of projective space introduced by Jell, Scheiderer, and Yu, and a signed refinement of the Goldman--Iwahori space of seminorms studied in our previous work. Our first main result identifies it as the inverse limit of all real tropicalizations of projective space, the real analogue of a theorem of Payne. Our second main result gives a matroid-theoretic description in terms of the universal realizable oriented valuated matroid on the underlying vector space. In the constant coefficient case for $K = \mathbb{R}$, signed seminorms are exactly the diagonalizable ones which is a consequence of hyperplane separation that fails for all other real closed fields. In this case, this yields an explicit description of the signed Goldman--Iwahori space in terms of signed flags of subspaces and lets us show that the space coincides with the real Bergman fan of the universal oriented matroid.

Exact Values and Bounds for Ramsey Numbers of $C_4$ Versus a Star Graph

2026-06-12T09:44:45Z

We study Ramsey numbers of the form $R(C_4,K_{1,n})$. We determine the eight previously unknown values of $R(C_4,K_{1,n})$ for $n\le 38$. In particular, we show that $R(C_4,K_{1,27})=33$ and $R(C_4,K_{1,n})=n+7$ for $28\le n\le 33$ and for $n=37$. We also establish new general inequalities relating different values of this function. Specifically, if $m\equiv 2\pmod 6$ with $m\ge 8$, then $R(C_4,K_{1,m^2+3})\le m^2+m+4$, and for all positive integers $a$ and $b$, either $R(C_4,K_{1,a})\ge a+b$ or $R(C_4,K_{1,a+b})\le a+2b$. As consequences, we obtain the functional inequalities $f(2n-f(n)+1)\ge n$ and $f(f(n)+1)\le 2f(n)-n+2$, where $f(n)=R(C_4,K_{1,n})$.

Counting contiguous superregular $4 \times 4$ matrices

2026-06-12T09:33:26Z

This short paper has two goals. First, explaining a simple procedure (which is essentially folklore) that, sometimes, makes it possible to obtain a formula for the number of solutions to a system of multivariate polynomial inequalities over a finite field. Second, applying that procedure to prove a formula for the number of contiguous superregular $4 \times 4$ matrices over a finite field. The formula was previously conjectured by Appuswamy, Bazzani, Connelly, Ekaireb, Congero, and Zeger [Probability of super-regular matrices and MDS codes over finite fields, arXiv:2603.20983]. In addition, the same procedure is used to provide formulas for the number of contiguous superregular $3 \times 4$, $3 \times 5$, and $3 \times 6$ matrices over a finite field.

A random approach to the multibonacci sequence

2026-06-12T09:26:46Z

This paper presents a random approach to the multibonacci sequence. We generalise the model introduced by Benjamin, Levin, Mahlburg, and Quinn, which is based on a random tiling method using dominoes and squares that leads to the Fibonacci sequence, and which was extended to the tribonacci case in a previous work by the authors. Our approach employs tiling with linear $k$-ominoes, $k=1,\ldots,s$, combined with specific colouring, to generate a weighted multibonacci sequence. For a natural random variable~$X$ defined by this model, we establish the distribution of $X$ in terms of multibonacci numbers and compute $\mathbb{E}[X] = 2^{s+1}-3$.

Scaling limits of multitype Bienaymé trees

2026-06-12T09:14:01Z

We consider critical multitype Bienaymé trees that are either irreducible or possess a critical irreducible component with attached subcritical components. These trees are studied under two distinct conditioning frameworks: first, conditioning on the value of a linear combination of the numbers of vertices of given types; and second, conditioning on the precise number of vertices belonging to a selected subset of types. We prove that, under a finite exponential moment condition, the scaling limit as the tree size tends to infinity is given by the Brownian Continuum Random Tree. Additionally, we establish strong nonasymptotic tail bounds for the height of such trees. Our main tools include a flattening operation applied to multitype trees and sharp estimates regarding the structure of monotype trees with a given sequence of degrees.

Structure, Enumeration, and star avoidance for contraction containment in labeled trees

2026-06-12T08:37:21Z

We study contraction containment among labeled trees, where a labeled tree $U$ displays a fixed tree $T$ if $T$ is obtained by contracting connected fibers and standardizing the surviving labels. We develop a collision-core framework for the support counts $μ_T(m)$, prove a survivor split-system criterion and a degree-sequence formula for the marked display count $C_1(T;m)$, and show that every $k$-overlay of an $n$-vertex tree contracts to a reduced core with at most $k(n-1)+1$ vertices. For each reduced core we give an exact lift formula and product exponential generating function for all overlays lying above it, yielding finite formulas for fixed-order collision moments. We also prove a contraction-diamond theorem showing that every lower one-edge collision is realized as the shadow of a bounded pair-core. In a complementary exact-enumeration direction, we solve top-centered star avoidance: if $S_n$ is the star on $[n+1]$ centered at $n+1$, then \[ A_n^{\mathrm{top}}(k)=\sum_{L=0}^{n-1}τ(k,L)+\frac{n}{k}τ(k,n), \] where $τ(k,L)$ counts trees on $[k]$ with $L$ leaves. This gives rational-logarithmic generating functions, sharp fixed-$n$ asymptotics, and a random-tree threshold at $n\sim k/e$. Finally, every fixed labeled tree is displayed by almost every large labeled tree: \[ μ_T(m)=m^{m-2}\bigl(1-O_T(e^{-c_Tm})\bigr). \]

An explicit formula for Koornwinder moments and Rains' positivity conjecture

2026-06-12T08:20:22Z

The asymmetric simple exclusion process (ASEP) is an important particle model with deep connections to orthogonal polynomials. Motivated by this connection, Corteel and Williams introduced the Koornwinder moments $M^{Z}_λ$ at $ t=q $, which generalize the moments of Askey--Wilson polynomials. They showed that the partition function of the two-species ASEP is equal to $M^{Z}_λ$ for a one-row partition $ λ$. In this paper, we investigate a conjecture of Rains on the positivity of the minimal numerator of the Koornwinder moment $M^{Z}_λ$. We derive the first explicit formula for this moment, thereby obtaining a precise formulation of the conjecture by determining the minimal denominator of $M^{Z}_λ$. We also propose a generalization of the conjecture for the more general Koornwinder moments $M^{Z}_{λ,μ}$ indexed by two partitions at special parameter values. We prove the generalized Rains' conjecture in two special cases: $(ξ,q)=(1,0)$ and $(ξ,q)=(1,1)$. For $(ξ,q)=(1,0)$, we construct a lattice path model and obtain a combinatorial formula for $M^{Z}_{λ,μ}$ in terms of non-intersecting lattice paths. For $(ξ,q)=(1,1)$, we establish an explicit product formula for $M^{Z}_{λ,μ}$ and give a combinatorial interpretation using lecture hall tableaux.

Block Tensor Rank of Sum-Rank Metric Codes

2026-06-12T07:38:41Z

Sum-rank codes provide a generalized framework for Hamming and rank-metric codes, with codewords represented as tuples of matrices and weight given by the sum of the block ranks. In this paper, we introduce and study a block-tensor-rank invariant for sum-rank metric codes. To each code, we associate its \emph{block tensor rank}: the smallest number of block-simple tensors, namely rank-one matrices supported inside single blocks, whose linear span contains the code. In general, determining the block tensor rank of a sum-rank code is challenging. Our main structural result shows that the block tensor rank decomposes additively across the blocks of the code, thereby reducing its computation to a tensor-rank problem on each block projection. Consequently, we derive two complementary lower bounds on the block tensor rank, referred to as the \emph{projection-wise bound} and the \emph{coordinate-code bound}. Moreover, by combining the coordinate-code bound with the classical Singleton and Griesmer bounds for codes in the Hamming metric, we obtain explicit lower bounds, called the \emph{Singleton coordinate-code bound} and the \emph{Griesmer coordinate-code bound}, respectively. We further construct families of sum-rank codes whose block tensor ranks attain the Singleton or Griesmer coordinate-code bounds. These constructions are based on Hamming-metric codes achieving the corresponding classical bounds. Finally, we show that, in certain cases, the block tensor ranks of two known families of sum-rank codes in the literature do not attain the Singleton coordinate-code bound.

Intersection Arrays of Completely Regular Codes of Covering Radius One in Generalized Petersen Graphs

2026-06-12T07:18:15Z

We determine all possible intersection arrays of completely regular codes of covering radius one in the generalized Petersen graphs $GP(n,k)$, where $n\geq 3$ and \(1\leq k

Ramsey-Turán Type Problem for Perfect Transitive Triangle Tilings in Digraphs

2026-06-12T06:35:32Z

The classical Corrádi-Hajnal theorem states that for any multiple $n$ of $3$, if $G$ is a graph with $n$ vertices and $δ(G) \geq 2n/3$, then $G$ can be partitioned into $n/3$ vertex-disjoint copies of the triangle [\emph{Acta Math. Acad. Sci. Hung.}, 14:423-439, 1964]. Balogh, Molla and Sharifzadeh obtained a smaller lower bound by adding the independence number condition [\emph{Random Struct. Algorithms}, 49:669-693, 2016]. In this paper, we study perfect tilings in digraphs subject to conditions on the independence number and the degree. The independence number, $α(D)$, of $D$ is the maximum integer $k$ such that $D$ has an independent set of cardinality $k$. We show that if $D$ is an $n$-vertex digraph with $α(D)\leq o(1)n$ and $δ(D) \geq (1+o(1))n$, then $D$ has a perfect $T_3$-tiling, where $T_3$ denotes a transitive triangle. This minimum degree condition is asymptotically best possible. Moreover, our result implies the theorem of Balogh, Molla, and Sharifzadeh concerning perfect triangle tilings.

Designing Efficient and Reachable Routes: The $k$-Step-Central Shortest Path Problem

2026-06-12T05:24:30Z

Designing rapid transportation routes requires balancing efficiency and reachability. Shortest-path models ensure direct, cost-efficient routes but ignore coverage, while centrality-based approaches maximize accessibility but do not enforce operational constraints. We study the problem of selecting a shortest path that maximizes reachability, measured as the number of nodes within a fixed distance of the path. To do this, we introduce the $k$-Step-Central Shortest Path problem and analyse its structural properties. We show that optimal solutions on unweighted graphs can be found in polynomial time and propose an algorithm with a novel pruning rule. We also prove that the problem becomes NP-hard when edge weights are introduced. Additionally, we show that our algorithm can be used to solve the NP-hard problem of finding the closeness-central shortest path in a graph. We demonstrate the efficiency and scalability of our algorithm on synthetic and real-world networks with up to 2,000 nodes. Our results show that improving reachability can substitute for route expansion: increasing the reach of transit lines drastically increases their coverage with shorter routes. This suggests that investments in active transport infrastructure that improve reachability can be more effective than extending primary routes, providing a data-driven basis for allocating resources in network design.

Linear identities for partition pairs with 4-cores

2026-06-12T05:18:04Z

We determine an infinite family of linear identities for the number $A_4(n)$ of partition pairs of $n$ with $4$-cores by employing elementary $q$-series techniques and certain $3$-dissection formulas. We then discover an infinite family of congruences for $A_4(n)$ as a consequence of these linear identities.