A Generalized Supercongruence of Z.-W. Sun

2026-03-19T03:47:49Z

In this paper, we employ the Wilf-Zeilberger (WZ) method to prove a supercongruence conjecture posed by Z.-W. Sun: for any prime $p$, \begin{align*} \sum_{k=0}^{\frac{p-3}{2}}\frac{92k^2+61k+9}{(2k+1)64^k}{2k \choose k}{3k \choose k}{4k \choose 2k}\equiv 6p+16p^2\left(\frac{-1}{p}\right) \pmod{p^3}, \end{align*} where $\left(\frac{\cdot}{p}\right)$ denotes the Legendre symbol. Our proof relies on combinatorial identities and symbolic summation techniques.

On a conjecture concerning the property of chromatic polynomials with negative variables

2026-03-19T03:39:16Z

Let $G$ be a graph of order $n$ and $P(G,x)$ be the chromatic polynomial of $G$. Dong, Ge, Gong, Ning, Ouyang, and Tay (J. Graph Theory 96(2021) 343) conjectured that $\frac{d^k}{dx^k} \bigl( \ln[(-1)^n P(G, x)] \bigr) < 0$ holds for all $k \geq 2$ and $x \in (-\infty, 0)$. We prove this conjecture for all $k \geq 2 $ and $ x\leq -6.66Δk $, in which $Δ$ is the maximum degree of $G$.

On the number of H-free hypergraphs

2026-03-19T03:32:02Z

Two central problems in extremal combinatorics are concerned with estimating the number $ex(n,H)$, the size of the largest $H$-free hypergraph on $n$ vertices, and the number $forb(n,H)$ of $H$-free hypergraph on $n$ vertices. While it is known that $forb(n,H)=2^{(1+o(1))ex(n,H)}$ for $k$-uniform hypergraphs that are not $k$-partite, estimates for hypergraphs that are $k$-partite (or degenerate) are not nearly as tight. In a recent breakthrough, Ferber, McKinley, and Samotij proved that for many degenerate hypergraphs $H$, $forb(n, H) = 2^{O(ex(n,H))}$. However, there are few known instances of degenerate hypergraphs $H$ for which $forb(n,H)=2^{(1+o(1))ex(n,H)}$ holds. In this paper, we show that $forb(n,H)=2^{(1+o(1))ex(n,H)}$ holds for a wide class of degenerate hypergraphs known as $2$-contractible hypertrees. This is the first known infinite family of degenerate hypergraphs $H$ for which $forb(n,H)=2^{(1+o(1))ex(n,H)}$ holds. As a corollary of our main results, we obtain a surprisingly sharp estimate of $forb(n,C^{(k)}_\ell)=2^{(\lfloor\frac{\ell-1}{2}\rfloor+o(1))\binom{n}{k-1}}$ for the $k$-uniform linear $\ell$-cycle, for all pairs $k\geq 5, \ell\geq 3$, thus settling a question of Balogh, Narayanan, and Skokan affirmatively for all $k\geq 5, \ell\geq 3$. Our methods also lead to some related sharp results on the corresponding random Turan problem. As a key ingredient of our proofs, we develop a novel supersaturation variant of the delta systems method for set systems, which may be of independent interest.

Exposed extreme rays of the SONC cone

2026-03-19T00:33:45Z

We provide a complete and explicit characterization of the exposed extreme rays of the cone of sums of nonnegative circuit (SONC) polynomials. The criterion we derive is purely combinatorial and depends only on the existence of certain circuits within the ground set and on the nature of the corresponding extreme ray. Our constructive proofs also yield explicit exposing functionals, offering a basis for algorithmic detection of exposed rays in SONC-based optimization.

A unified convention for achievement positional games

2026-03-18T22:19:30Z

We introduce achievement positional games, a convention for positional games which encompasses the Maker-Maker and Maker-Breaker conventions. We consider two hypergraphs, one red and one blue, on the same vertex set. Two players, Left and Right, take turns picking a previously unpicked vertex. Whoever first fills an edge of their color, blue for Left or red for Right, wins the game (draws are possible). We establish general properties of such games. In particular, we show that a lot of principles which hold for Maker-Maker games generalize to achievement positional games. We also study the algorithmic complexity of deciding whether Left has a winning strategy as the first player when blue edges and red edges have respective sizes at most $p$ and $q$. This problem is in P for $p,q \leq 2$, but it is NP-hard for $p \geq 3$ and $q=2$, coNP-complete for $p=2$ and $q \geq 3$, and PSPACE-complete for $p,q \geq 3$ even when the 3-edges are the same for both colors. That last result has an interesting consequence on the Maker-Maker convention: for 3-uniform hypergraphs, which is the only case whose complexity is currently open (for starting positions of the game), we show PSPACE-completeness for positions obtained after one round of play.

Counting Strict Gridlock on Graphs

2026-03-18T21:22:40Z

Graph colorings have been of interest to mathematicians for a long time, but relatively recently, social scientists have also found them to be interesting tools for studying group behavior. In the last 20 years, scientists have begun to study how coloring problems can be solved by groups of individuals on a graph, which has led to new insights into network structure, group dynamics, and individual human behavior. Despite this newfound utility, the exact nature of these distributed coloring problems is not well-understood, and established mathematical tools like the chromatic polynomial miss the unique challenges that arise in these social problem-solving situations with limited information. In this paper, we provide a new framework for understanding these distributed problems by defining a new kind of graph coloring with particular relevance to consensus formation on networks, in which all vertices are trying to agree on a common color. These strict gridlock colorings represent roadblocks to consensus where the group will not reach a uniform coloring using natural update processes. We describe a recurrence relation that provides an algorithm for counting these gridlocked colorings, which establishes a mathematical measure of how much a given graph hinders consensus in a group.

On the K-theory of matroids with Tutte coverings

2026-03-18T21:22:29Z

The aim of this work is to explicitly compute the K-theory of the category of matroids with respect to the covering family of Tutte coverings. In particular, we show that this is equivalent to the K-theory spectrum of the category of graphic matroids on looped forests, with the covering family generated by isomorphisms. Further, we show that this yields an equivalence of $C_2$-spectra.

Big Varchenko-Gelfand rings and orbit harmonics

2026-03-18T20:54:05Z

Let $\mathscr{M}$ be a conditional oriented matroid. We define a graded algebra $\widehat{\mathscr{VG}}_\mathscr{M}$ with vector space dimension given by the number of covectors in $\mathscr{M}$ which admits a distinguished filtration indexed by the poset $\mathscr{L}(\mathscr{M})$ of flats of $\mathscr{M}$. The subquotients of this filtration are isomorphic to graded Varchenko-Gelfand rings of contractions of $\mathscr{M}$, so we call $\widehat{\mathscr{VG}}_\mathscr{M}$ the {\em graded big Varchenko-Gelfand ring of $\mathscr{M}$.} We describe a no broken circuit type basis of $\widehat{\mathscr{VG}}_\mathscr{M}$ and study its equivariant structure under the action of $\mathrm{Aut}(\mathscr{M})$. Our key technique is the orbit harmonics deformation which encodes $\widehat{\mathscr{VG}}_\mathscr{M}$ (as well as the classical Varchenko-Gelfand ring) in terms of a locus of points.

On the Turánability and tileability of oriented graphs

2026-03-18T20:48:46Z

An oriented graph $H$ is Turánable (resp. tileable) if there exist $n_0 \in \mathbb{N}$ such that every semi-regular near-tournament on $n \ge n_0$ vertices contains a copy of $H$ (resp. a perfect $H$-tiling). We disprove a conjectured characterization of Turánable oriented graphs by DeBiasio, Han, Lo, Molla, Piga, and Treglown, show that there are Turánable oriented graphs which are not tileable, and provide a new example of tileable oriented graph.

A combinatorial interpretation of the Bernstein degree of unitary highest weight modules

2026-03-18T20:34:00Z

The Bernstein degree ($\operatorname{Deg}$) is a fundamental invariant of admissible representations of a real reductive Lie group $G_{\mathbb{R}}$. Our main result concerns the classical dual pairs $(G_{\mathbb{R}}, H_{\mathbb{R}}(k))$, namely $(\operatorname{U}(p,q), \: \operatorname{U}(k))$, $(\operatorname{Mp}(2n, \mathbb{R}), \: \operatorname{O}(k))$, and $(\operatorname{O}^*(2n), \: \operatorname{Sp}(k))$, where $k$ is any positive integer. In this setting, via Howe duality, each irreducible representation $σ$ of $H_{\mathbb{R}}(k)$ corresponds to a unitary highest weight module $L_{λ(σ)}$ for $G_{\mathbb{R}}$. A landmark result of Nishiyama-Ochiai-Taniguchi (2001) expressed $\operatorname{Deg} L_{λ(σ)}$ as a product of two quantities: the dimension of $σ$ and the degree of the associated variety. However, this result was limited to a specific range of the parameter $k$ (namely $k \leq r$, the real rank of $G_{\mathbb{R}}$). The present paper resolves this limitation by introducing, for all $k$, the combinatorial interpretation $\operatorname{Deg} L_{λ(σ)} = \#( \mathcal{Q}_k(σ) \times \mathcal{P}_k)$, where $\mathcal{Q}_k(σ)$ is a certain set of semistandard tableaux and $\mathcal{P}_k$ is a set of plane partitions. (The result remains partly conjectural in the $\operatorname{Mp}(2n, \mathbb{R})$ case.) Beyond the dual pair setting, we generalize the set $\mathcal{P}_k$ to all groups $G_{\mathbb{R}}$ of Hermitian type, and we exhibit analogues of the Nishiyama-Ochiai-Taniguchi result for certain families of unitary highest weight modules of $\operatorname{E}_6$ and $\operatorname{E}_7$.

Biregular bipartite labeled multigraphs and perfect matchings in bipartite tensor products

2026-03-18T20:20:41Z

In 2019, P. Higgins formulated [1] a question about bipartite graphs (see Conjecture 1 below); this question arises in the study of regular finite semigroups. F. V. Petrov formulated [2] another combinatorial conjecture (Conjecture 3); Conjecture 3 implies Conjecture 1 and seems simple itself. However, both conjectures remain unproven in the general case. In the present paper, some special cases are proved, Conjecture 4 is formulated in the same spirit, and some of its special cases are proved. In addition, Conjecture 1 is reduced to a matrix inequality (Conjecture 5); this inequality is, in turn, also proved in a special case.

Isometry groups of Polish ultrametric spaces

2026-03-18T20:09:27Z

We solve a long-standing open problem, formulated by Krasner in the 1950's, in the context of Polish (i.e. separable complete) ultrametric spaces by providing a characterization of their isometry groups using suitable forms of generalized wreath products of full permutation groups. Since our solution is developed in the finer context of topological (Polish) groups, it also solves a problem of Gao and Kechris from 2003. Furthermore, we provide an exact correspondence between the isometry groups of Polish ultrametric spaces belonging to some natural subclasses and various kinds of generalized wreath products proposed in the literature by Hall, Holland, and Malicki.

Finite Cardinalities of Misère Quotients

2026-03-18T20:00:10Z

We find that partisan misère quotients can have any finite cardinality other than 3, answering a question of Allen. This contrasts with impartial misère quotients, which must have even cardinality.

The Singular Cohomology Ring of a Matroid

2026-03-18T19:53:12Z

We introduce the singular cohomology ring of a matroid which extends the Chow ring of a matroid. This is defined as the singular cohomology ring of a certain quasi-projective toric variety associated to the matroid. Using the matroidal flips of Adiprasito, Huh, and Katz, we prove sharp vanishing results for the cohomology ring and compute the dimension of the top-weight cohomology in terms of the Möbius invariant of the matroid. In the case of uniform matroids, these techniques give a recursive formula for the Hodge numbers. Finally, we generalize the singular cohomology ring to arbitrary building sets on the lattice of flats, and we show how the cohomology depends on the building set.

On Rado's single equation theorem

2026-03-18T18:24:52Z

We show that for non-zero integers $a$ and $b$ there is a natural number $N < \exp(r^{2+o_{a,b;r\rightarrow \infty}(1)})$ such that in any $r$-colouring of $\{1,\dots,N\}$ there are $x,y,z$, all in the same colour class, such that $ax-ay=bz$.