https://arxiv.org/api/qcVhvGhAodw/cfGMjgrp2m9MLd4 2026-06-21T16:37:04Z 79105 135 15 http://arxiv.org/abs/2606.17715v1 2026-06-16T09:27:00Z

We study duality for monoids in an infinite-dimensional setting that are invariant under the action of the infinite symmetric group Sym. Our main result is an equivariant Minkowski--Weyl theorem for monoids. More precisely, we analyze the evolution of dual monoids along stabilizing Sym-invariant chains and describe the eventual behavior of their equivariant Hilbert bases. In addition, we develop a systematic study of structural properties of dual symmetric monoids, including a characterization of the duals of positive and non-positive monoids.

2026-06-16T09:27:00Z 30 pages Dinh Van Le Tim Römer Nguyen Thi Vien http://arxiv.org/abs/2606.17695v1 2026-06-16T09:09:47Z

We study monoids in an infinite-dimensional setting that are invariant under the action of the infinite symmetric group Sym. Our main result establishes a local--global principle characterizing equivariant finite generation for arbitrary Sym-invariant monoids, extending earlier results that required additional assumptions. We further analyze local--global phenomena for other fundamental properties, including positivity, normality, seminormality, and simplicity. In addition, we obtain structural results for symmetric monoids, including characterizations of positivity and non-positivity, a description of their groups of units, and explicit formulas for the ranks of local symmetric monoids and stabilizing Sym-invariant chains.

2026-06-16T09:09:47Z Published in Journal of Pure and Applied Algebra Journal of Pure and Applied Algebra 230 (2026), no. 4, 108243 Dinh Van Le Tim Römer Nguyen Thi Vien 10.1016/j.jpaa.2026.108243 http://arxiv.org/abs/2606.17679v1 2026-06-16T08:46:20Z

We study the counting problem for non-uniform intersecting families in extremal set theory. Let $J(n,k)$ denote the number of intersecting families $\mathcal{F}\subset 2^{[n]}$ such that every member of $\mathcal{F}$ has size at most $k$. Extending recent counting results for uniform intersecting families, we prove that for $n\ge 2k+2+2\sqrt{k \log k}$ and $k \rightarrow +\infty$, \[ J(n,k) =(n+o(1)) 2^{\sum_{i=1}^{k} \binom{n-1}{i-1}}. \] This result reveals that typical non-uniform intersecting families of bounded size are trivial, i.e., almost all such families share a common fixed element.

2026-06-16T08:46:20Z Yandong Bai Haoyun Gu Wenston J. T. Zang http://arxiv.org/abs/2606.17651v1 2026-06-16T08:13:01Z

Motivated by the recent constructions of Golay Complementary Array (GCA), we extend the "Three-stage construction" proposed by Fiedler and Jedwab to a more general form. All the known 2-phase Golay Complementary Sequences (GCSs) of length $2^a10^b26^c,a,b,c\ge 0$ and 4-phase GCSs of length $2^{a+u}3^b5^c11^d13^e$ where $a,b,c,d,e,u\ge0,b+c+d+e\le a+2u+1,u\le c+e$ can be constructed in a uniform method from five 2-phase seeds of length 2,10,10,20,26 and five 4-phase seeds of length 3,5,8,11,13. Furthermore, additional 2-phase and 4-phase GCSs of many lengths are produced and a closed form for numbers of 2-phase and 4-phase GCSs is given.

2026-06-16T08:13:01Z Xu Wang http://arxiv.org/abs/2210.00245v2 2026-06-16T07:53:46Z

We give a characterization of the largest $2$-intersecting families of permutations of $\{1,2,\ldots,n\}$ and of perfect matchings of the complete graph $K_{2n}$ for all $n \geq 2$.

2022-10-01T10:38:56Z 20 pages Algebraic Combinatorics, Volume 9 (2026) no. 2, pp. 357-377 Gilad Chase Neta Dafni Yuval Filmus Nathan Lindzey 10.5802/alco.479 http://arxiv.org/abs/2507.16301v3 2026-06-16T07:15:10Z

Let G be a simple, finite, connected, and undirected graph. The middle graph M(G) of G is obtained from the subdivision graph S(G) after joining pairs of subdivided vertices that lie on adjacent edges of G and the central graph C(G) of G is obtained from S(G) after joining all non-adjacent vertices of G. We show that if the order of G is at least 4, then Aut(G), Aut(C(G)), and Aut(M(G)) are isomorphic (as abstract groups) and apply this result to obtain new upper bounds of the distinguishing number and the distinguishing index of C(G) and M(G) and provide examples showing that these bounds cannot be improved in general. Moreover, we use idempotent commutative Latin squares and a theorem of Galvin on list edge colorings of bipartite graphs to study the total distinguishing chromatic number of central graphs.

2025-07-22T07:39:10Z In this revised version, written and updated by the first author, we include eight figures for the reader's convenience and added a section on total distinguishing coloring of central graphs Amitayu Banerjee Alexa Gopaulsingh Zalán Molnár http://arxiv.org/abs/2606.17605v1 2026-06-16T07:10:58Z

Menger's theorem is one of the most fundamental results in graph theory. It states that if a graph $G$ does not contain $k$ disjoint paths between two given sets $X$ and $Y$ of vertices in $G$, then there is a set of at most $k-1$ vertices that intersects every path between $X$ and $Y$. Nguyen, Scott, and Seymour gave a counterexample to the conjectured natural coarse variant in which the paths are required to be pairwise at distance at least $d$, and, conversely, there is a set of at most $k-1$ bounded-radius balls intersecting every path between $X$ and $Y$. In other words, the coarse Menger property does not hold in general. We prove that graphs whose cycles space is generated by cycles of bounded length do have the coarse Menger property. As a corollary, we show that many natural graphs and geodesic metric spaces have the coarse Menger property. These include hyperbolic graphs, Cayley graphs of finitely presented groups, planar graphs with bounded face size, and complete Riemannian planes.

2026-06-16T07:10:58Z Sandra Albrechtsen http://arxiv.org/abs/2402.09851v3 2026-06-16T07:07:55Z

In the present paper, we provide cohomology groups for matroids, as a categorification of the characteristic polynomial of matroids. The construction depends on the ``quasi-representation'' of a matroid. For a certain choice of the quasi-representation, we show that our cohomology theory gives a generalization of the chromatic cohomology introduced by L. Helme--Guizon and Y. Rong, and also the characteristic cohomology introduced by Z. Dancso and A. Licata.

2024-02-15T10:15:06Z 27 pages, 2 figures. Comments are welcome Takuya Saito So Yamagata http://arxiv.org/abs/1606.08193v2 2026-06-16T06:14:21Z

We show a determinant identity which generalizes both the Chio pivotal condensation theorem and the Matrix-Tree theorem.

2016-06-27T10:14:52Z 32 pages; comments are welcome. v2 corrects errors found by GPT-5.5 and updates links. The ancillary file is a short expository note "Combinatorial proof of Chio Pivotal Condensation" Darij Grinberg Karthik Karnik Anya Zhang http://arxiv.org/abs/1604.02969v3 2026-06-16T06:10:09Z

If H is a commutative connected graded Hopf algebra over a commutative ring k, then a certain canonical k-algebra homomorphism H -> H (x) QSym is defined, where QSym denotes the Hopf algebra of quasisymmetric functions over k. This homomorphism generalizes the "internal comultiplication" on QSym, and extends what Hazewinkel (in Section 18.24 of his "Witt vectors") calls the Bernstein homomorphism. We construct this homomorphism with the help of the universal property of QSym as a combinatorial Hopf algebra (a well-known result by Aguiar, Bergeron and Sottile) and extension of scalars (the commutativity of H allows us to consider, for example, H (x) QSym as an H-Hopf algebra, and this change of viewpoint significantly extends the reach of the universal property).

2016-04-11T14:13:29Z 46 pages; comments are welcome! Version 3 corrects errors found by GPT-5.5, particularly in the proof of Proposition 3.10 Darij Grinberg http://arxiv.org/abs/1604.03063v3 2026-06-16T06:08:14Z

We explore several generalizations of Whitney's theorem -- a classical formula for the chromatic polynomial of a graph. Following Stanley, we replace the chromatic polynomial by the chromatic symmetric function. Following Dohmen and Trinks, we exclude not all but only an (arbitrarily selected) set of broken circuits, or even weigh these broken circuits with weight monomials instead of excluding them. Following Crew and Spirkl, we put weights on the vertices of the graph. Following Gebhard and Sagan, we lift the chromatic symmetric function to noncommuting variables. In addition, we replace the graph by an "ambigraph", an apparently new concept that includes both hypergraphs and multigraphs as particular cases. We show that Whitney's formula endures all these generalizations, and a fairly simple sign-reversing involution can be used to prove it in each setting. Furthermore, if we restrict ourselves to the chromatic polynomial, then the graph can be replaced by a matroid. We discuss an application to transitive digraphs (i.e., posets), and reprove an alternating-sum identity by Dahlberg and van Willigenburg.

2016-04-11T18:45:05Z 99 pages, self-contained, with lots of space taken up by defining several parallel settings. The definitions of an ambigraph and its characteristic polynomial (Section 5.1) is likely of independent interest. v3 corrects typos found by GPT-5.5 Darij Grinberg http://arxiv.org/abs/2606.17525v1 2026-06-16T05:05:23Z

The Fomin local rules for Schensted column insertion can be seen as a two-lane box-ball system, in which a carrier moves particles forward or laterally. Running such two-lane dynamics in parallel on a periodic lattice gives rise to a two-dimensional generalization of the box-ball system, which we call the \emph{skew column RSK dynamics}. Equivalently, this is a deterministic dynamics on pairs of skew semistandard Young tableaux $(P_t,Q_t)_{t \in \mathbb{Z}}$. We prove that this dynamics exhibits solitonic behavior and construct an explicit bijection $(P,Q) \leftrightarrow (H_1,H_2,κ,ν)$ that linearizes the time evolution. The resulting coordinates consist of two horizontally weak tableaux $H_1,H_2$ recording the asymptotic soliton data, integer riggings $κ$, and a weakly decreasing sequence of integers $ν$. A key feature of the construction is an explicit projection from the skew column RSK dynamics to the classical box-ball system; under this projection, the rigging $κ$ is precisely the Kerov--Kirillov--Reshetikhin rigging of the associated box-ball configuration. Our proof uses two commuting affine crystal structures on pairs of skew tableaux and a novel connectivity theorem for distinguished subgraphs of tensor products of Kirillov--Reshetikhin crystals. We also derive Greene-type formulas for the soliton lengths in terms of last-passage percolation on the associated cylindrical environment. Finally, by taking generating functions in the linearizing coordinates, we obtain bijective proofs of Cauchy and Kawanaka--Littlewood-type identities for transformed Hall--Littlewood polynomials.

2026-06-16T05:05:23Z 68 pages. Comments are welcome Takashi Imamura Matteo Mucciconi Tomohiro Sasamoto Travis Scrimshaw http://arxiv.org/abs/2606.17487v1 2026-06-16T03:57:20Z

We develop a new combinatorial large sieve method for sets with bounded algebraic multiplicities. The method exploits algebraic splitting modulo many small primes: local congruence branching produces many modular collisions, while global bounded-multiplicity hypotheses force these collisions to be rare. As a first application, we prove that every Sidon subset $A\subset\{1^2,\ldots,N^2\}$ satisfies \[ |A| \le N\exp\left( -c\frac{\log N}{\log\log N} \right) \] for some absolute constant $c>0$. This gives the first super-polylogarithmic saving for a classical problem of Alon and Erdős. As a second application, we establish new upper bounds for two grid-distance problems. We show that the largest subset of $[N]^2$ with no repeated distance has size at most $N\exp\left(-c\log N/\log\log N\right)$, giving the first progress in over thirty years on a problem of Erdős and Guy. The same method also gives a super-polylogarithmic saving for subsets of $[N]^2$ with no isosceles triangles, a problem recently popularized by Ellenberg and by the PatternBoost work of Charton, Ellenberg, Wagner, and Williamson. We then develop an entropic version of the method. This gives bounds for $B_2[g]$-sets in the squares and for analogous bounded-multiplicity problems associated with norm forms over arbitrary number fields. Moreover, we prove the first nontrivial bounds for $B_3[g]$-sets in the cubes and $B_4[g]$-sets in the fourth powers.

2026-06-16T03:57:20Z 33 pages Ernie Croot Junzhe Mao Cosmin Pohoata Adam Sheffer Chi Hoi Yip http://arxiv.org/abs/2606.16091v2 2026-06-16T03:52:42Z

In this paper, we introduce a new idea to study modules of logarithmic differential forms of hyperplane arrangements, which we call residue ideals. We first establish basic properties of these ideals, including their radicals and primary decompositions, and obtain applications for freeness of restrictions of arrangements. Then we apply these ideals to the study of modules of logarithmic differential $1$-forms for graphic arrangements. We give an explicit generating set for these modules and find a new connection to cover ideals of graphs studied in combinatorial commutative algebra. As a consequence we establish several new connections between arrangement theory and Stanley--Reisner theory.

2026-06-15T01:14:09Z 47 pages, correct the author information Takuro Abe Satoshi Murai http://arxiv.org/abs/2606.17440v1 2026-06-16T02:42:42Z

In recent work of Dombos, the set of integer partitions of $n$ wherein the parts are either divisible by 4 or congruent to $\pm 1 \pmod{6}$ arose in a natural way. In this work, we will denote the function which counts the number of such partitions of $n$ by $dp(n)$. Using elementary generating function manipulations and classical $q$--series results, we prove several congruences satisfied by $dp(n)$. As an example, we prove that, for all $α\geq 1$ and all $n \geq 0$, \begin{equation*} dp \left( 3^{2α+ 1}n + \frac{7 \cdot 9^α+ 1}{4} \right) \equiv 0 \pmod{3}. \end{equation*}

2026-06-16T02:42:42Z Robson da Silva James A. Sellers