https://arxiv.org/api/UgeInRoiEjBtBxLKU92zVBPOOiI 2026-03-22T13:11:30Z 76894 60 15 http://arxiv.org/abs/2603.18162v1 2026-03-18T18:02:10Z

We establish upper bounds for the Castelnuovo--Mumford regularity of the coordinate ring of a simplicial projective toric variety with at most one singular point. In the smooth case, our results recover the bound of Herzog and Hibi [Proc. Amer. Math. Soc. 131 (2003), 2641--2647], and therefore the Eisenbud--Goto bound. Furthermore, when the variety has exactly one singular point and dimension at least $3$, we prove that its regularity also satisfies the Eisenbud--Goto bound. The proof combines combinatorial and homological methods: we study the asymptotic behavior of the sumsets associated to the toric variety and relate it to Castelnuovo--Mumford regularity via a Hochster-like formula.

2026-03-18T18:02:10Z Ignacio García-Marco Philippe Gimenez Mario González-Sánchez http://arxiv.org/abs/2603.17997v1 2026-03-18T17:57:40Z

We prove Ehrenborg's conjecture that every connected bipartite graph $G$ with parts of size $m$ and $n$ has at most $\frac{1}{mn}\prod_{v\in V(G)} \operatorname{deg}(v)$ spanning trees, and that equality holds if and only if $G$ is a Ferrers graph. The proof is fully formalized in Lean 4.

2026-03-18T17:57:40Z 14 pages Boon Suan Ho http://arxiv.org/abs/2603.17958v1 2026-03-18T17:30:37Z

By median we mean a scheme that inputs three element of a lattice, and outputs an element that is an average of the three inputs in a certain sense. The medians of a given finite lattice form a new lattice that is usually larger than the original, but generates a (not necessarily strictly) smaller variety. A median is called inner if it is a term function. The inner median lattice is closely related to the symmetric part of the equational basis of the lattice. We determine the outer and inner median lattices of all lattices of at most six elements.

2026-03-18T17:30:37Z Leen Aburub Gergo Gyenizse http://arxiv.org/abs/2603.17897v1 2026-03-18T16:27:25Z

We study the secure domination number of the Mycielskian graph of a simple, connected, undirected graph. We give generally applicable bounds, compute secure domination numbers for Mycielskians of important families of graphs, and construct families of graphs realizing particular values of (secure) domination parameters.

2026-03-18T16:27:25Z 15 pages Kiran R. Bhutani Anthony Christiana Peter Ulrickson http://arxiv.org/abs/2603.17890v1 2026-03-18T16:15:13Z

The deep locus of a cluster variety is defined to be the set of its points that do not belong to any cluster torus. We show that, if the cluster variety has a seed whose mutable part is a tree without multiple edges, then the deep locus can be characterized as the set of points whose stabilizer under a certain group action is nontrivial. Deep points without a stabilizer are called mysterious. We establish that many other classes of acyclic quivers (including keys) often have mysterious points. This refutes Conjecture 1.1 of arXiv:2402.16970, but establishes it in many important cases.

2026-03-18T16:15:13Z 14 pages Scott Neville José Simental http://arxiv.org/abs/2603.17858v1 2026-03-18T15:45:01Z

In a recent paper the last author proved that absence of complex zeros of the partition function of the hard-core model near a parameter $λ>0$ implies a form of correlation decay called strong spacial mixing. In this paper we investigate the reverse implication. We introduce a strengthening of strong spatial mixing that we call very strong spatial mixing (VSSM). Our main result is that if VSSM holds at a parameter $λ>0$ for a family of graphs, this implies that the partition function has no zeros near that parameter for each graph in the family. We also demonstrate that a closely related variant of very strong spatial mixing does not imply zero-freeness. As a consequence of our main result, we moreover obtain that VSSM implies spectral independence. Our proof relies on transforming the problem to the analysis of an induced non-autonomous dynamical system given by Möbius transformations.

2026-03-18T15:45:01Z 28 pages; 3 figures Han Peters Josias Reppekus Guus Regts http://arxiv.org/abs/2603.17819v1 2026-03-18T15:12:04Z

Alternate bases are a numeration system that generalizes the Rényi numeration system. It is common in this context to construct examples or counter-examples by specifying the expansions of $1$ in the desired system. While it is easy to show when a system with given expansions of $1$ exists in the Rényi case, the same is not true in the alternate case. In this article, we establish conditions for given words to be the expansions of $1$ in the alternate case. To do so, we use a fixed point theorem on matrices defined from the expansions and obtain the elements of the base from the components of the fixed point. We also obtain a partial result for the uniqueness of such a base. In the latter parts of the article, we use similar techniques to prove the existence of bases with a given sequence of $B$-integers.

2026-03-18T15:12:04Z 20 pages Émilie Charlier Savinien Kreczman Zuzana Masáková Edita Pelantová http://arxiv.org/abs/2603.17789v1 2026-03-18T14:50:28Z

The essential requirement for a cubic graph to be called a snark is that it can not be edge-coloured with three colours. To avoid trivial cases, varying restrictions on the connectivity are imposed. Snarks are not only interesting in themselves, but also a valuable test field for conjectures about graphs that are not snarks and sometimes not even cubic. For many important open problems in graph theory it is proven that minimal counterexamples would be snarks. We give two new algorithms for the generation of snarks and results of computer programs implementing these algorithms. One algorithm is for snarks with girth exactly 4 and is used for generating complete lists of girth 4 snarks on up to 40 vertices. The second algorithm lists snarks with girth at least 5 and is used for generating complete lists of such snarks on up to 38 vertices. We also give complete lists of strong snarks (in the terminology of Jaeger) on up to 40 vertices.

2026-03-18T14:50:28Z Gunnar Brinkmann Steven Van Overberghe http://arxiv.org/abs/2603.17776v1 2026-03-18T14:39:47Z

We study the homological properties of $Δ_{\mathbf{r}}(n_1, \dots, n_e)$, a simplicial complex formed by sequentially gluing complete graphs along $(r_i-1)$-simplices. This construction generates precisely the chordal clique complexes, whose Stanley-Reisner ideals admit 2-linear resolutions. By computing the $f$-vector and evaluating the Hilbert series, we establish explicit graded Betti numbers for all $k$-skeletons. We show that the regularity of these skeletons is $k+1$ and the projective dimension stabilizes at $N_{\mathbf{r}} - r_{\min} - 1$ for $k \ge r_{\min}$, providing a complete classification of when the complex is Cohen-Macaulay, sequentially Cohen-Macaulay, or initially Cohen-Macaulay. We also obtain explicit formulas for the ring multiplicity and reduced Euler characteristic. Applying Alexander duality, we derive the $f$-vector, rational $h$-polynomial, and exact graded Betti numbers of the dual and its skeletons. Furthermore, analyzing these dual skeletons yields a family of complexes that resolve recent open bounds on regularity. Finally, equating the topological and rational evaluations of the Hilbert series produces a new family of combinatorial binomial identities.

2026-03-18T14:39:47Z Mohammed Rafiq Namiq http://arxiv.org/abs/2603.17756v1 2026-03-18T14:17:31Z

Tangle structure trees, introduced in [3], offer a unified data structure that displays all the tangles of a graph or data set together with certificates for the non-existence of any other tangles, either locally or overall. In this paper we apply tangle structure trees to derive new versions of the two fundamental tangle theorems: the tree-of-tangles theorem, and the tangle-tree duality theorem. We extend the tree-of-tangles theorem to $\mathcal F$-tangles that need not be profiles. When $\mathcal F$ consists of stars of separations, as it does in classical tangle-tree duality theorems, we show how to convert tangle structure trees that certify the non-existence of $\mathcal F$-tangles into tree-decompositions that certify this in the way known from graph tangles, as $S$-trees over~$\mathcal F$.

2026-03-18T14:17:31Z Hanno von Bergen Reinhard Diestel http://arxiv.org/abs/2603.17755v1 2026-03-18T14:17:19Z

Klimošová, Piguet, and Rozhoň conjectured that any graph with minimum degree $k/2$ and sufficiently many vertices of degree $k$ should contain all trees with $k$ edges. We prove an asymptotic version of this conjecture for dense host graphs. We obtain interesting corollaries: the first is an asymptotic version of the Erdős--Sós conjecture for dense host graphs, which works without any bounded-degree restriction on the guest trees. Secondly, by leveraging recent results by Pokrovsky, we can translate our results to sparse host graphs in the case of bounded-degree guest trees.

2026-03-18T14:17:19Z 104 pages Akbar Davoodi Diana Piguet Hanka Řada Nicolás Sanhueza-Matamala http://arxiv.org/abs/2603.17730v1 2026-03-18T13:54:23Z

In recent work, Martinsson and Steiner showed that every $K_3$-free $d$-degenerate graph $G$ has fractional chromatic number $χ_f(G) = O\left(\frac{d}{\log d}\right)$. In this paper, we extend the result in two ways, employing an approach rooted in the analysis of the entropy of certain probability distributions. Our argument provides a template to tackle other problems, so it is of independent interest. First, we consider locally $r$-colorable graphs $G$, i.e., where $χ(G[N(v)]) \leq r$ for each vertex $v$. We show that $d$-degenerate locally $r$-colorable graphs $G$ satisfy $χ_f(G) = O\left(\frac{d\log (2r)}{\log d}\right)$, strengthening a result of Alon (1996) on the independence number of such graphs. Second, we extend Martinsson and Steiner's result to $r$-uniform $d$-degenerate hypergraphs $H$ of girth at least $4$. We show that such hypergraphs satisfy $χ_f(H) \leq c_r\left(\frac{d}{\log d}\right)^{\frac{1}{r-1}}$, implying a strict generalization of a seminal result of Ajtai, Komlós, Pintz, Spencer, and Szemerédi (1982) on the independence number of uncrowded hypergraphs. As a corollary, we obtain the same growth rate for the fractional chromatic number of $d$-degenerate linear hypergraphs. Our approach is constructive, yielding efficient algorithms to sample independent sets in each of the settings we consider.

2026-03-18T13:54:23Z 19 pages plus references. Comments are welcome! Abhishek Dhawan http://arxiv.org/abs/2603.17636v1 2026-03-18T11:58:32Z

Linearized Reed-Solomon (LRS) codes form an important family of maximum sum-rank distance (MSRD) codes that generalize both Reed--Solomon codes and Gabidulin codes. In this paper we study the equivalence problem for LRS codes and determine the number of inequivalent codes within this family. Using the correspondence between sum-rank metric codes and systems of $\mathbb{F}_q$-subspaces, we analyze the stabilizer of the Gabidulin system and derive a characterization of equivalence between LRS codes. In particular, we prove that two LRS codes are equivalent if and only if the sets of norms that define the codes coincide up to multiplication by an element of $\mathbb{F}_q^\ast$. This description allows us to reduce the classification problem to the action of $\mathbb{F}_q^\ast$ on subsets of $\mathbb{F}_q^\ast$. As a consequence, we derive formulas for the number of inequivalent linearized Reed-Solomon codes and illustrate the results with explicit examples.

2026-03-18T11:58:32Z Jonathan Mannaert Marta Messia Ferdinando Zullo http://arxiv.org/abs/2603.17630v1 2026-03-18T11:51:31Z

A classical result by Otter shows that the complete graph has an exponential number of non-isomorphic spanning trees. This was recently extended by Lee to every almost regular graph of sufficiently large degree. In this paper, we consider graphs of large minimum degree. We show that every connected graph $G$ with $n$ vertices and minimum degree $d$ has at least $n^{Ω(d)}$ non-isomorphic spanning trees. This is tight up to the constant factor in the exponent. In fact, we prove the following anticoncentration result: if $\mathcal{T}$ is a uniformly random spanning tree of $G$, then for every tree $T$, the probability that $\mathcal{T}$ is isomorphic to $T$ is at most $n^{-Ω(d)}$. This proves a conjecture of Lee in a strong form.

2026-03-18T11:51:31Z 16 pages Veronica Bitonti Lukas Michel Alex Scott http://arxiv.org/abs/2507.00813v2 2026-03-18T11:27:36Z

We investigate generalisations of 1-factorisations and hyperfactorisations of the complete graph $K_{2n}$. We show that they are special subsets of the association scheme obtained from the Gelfand pair $(S_{2n},S_2 \wr S_n)$. This unifies and extends results by Cameron (1976) and gives rise to new existence and non-existence results. Our methods involve working in the group algebra $\mathbb{C}[S_{2n}]$ and using the representation theory of $S_{2n}$.

2025-07-01T14:44:27Z 19 pages, minor changes, accepted in Algebraic Combinatorics John Bamberg Lukas Klawuhn