Nearly-polynomial inverse theorem for the U^d norm in degree d+1

2026-03-17T17:40:38Z

We prove a nearly polynomial inverse theorem for the Gowers $U^d$ norm, over finite fields of non-small characteristic, for polynomials of degree $d+1$. The case of degree $d$ was very recently settled by Milićević and Randelović with a fully polynomial bound. We moreover provide a nearly polynomial inverse theorem for homogeneous polynomials of any degree smaller than $2d$.

The independence ratio of 4-cycle-free planar graphs

2026-03-17T17:29:04Z

We prove that every $n$-vertex planar graph $G$ with no triangle sharing an edge with a 4-cycle has independence ratio $n/α(G) \leq 4 - \varepsilon$ for $\varepsilon = 1/30$. This result implies that the same bound holds for 4-cycle-free planar graphs and planar graphs with no adjacent triangles and no triangle sharing an edge with a 5-cycle. For the latter case we strengthen the bound to $\varepsilon = 2/9$.

Sparsity greedoids and pebble game algorithms for posets

2026-03-17T17:04:45Z

We generalise a sparsity condition for hypergraphs and show a result relating sparseness of hypergraphs to the decomposition of a modified incidence graph into edge-disjoint forests. We also give new sparsity conditions for posets and define an algorithm of pebble game type for posets to test when these sparsity conditions hold. Furthermore, we prove that under natural conditions, the sparsity conditions define a greedoid.

General multi-Novikov algebras, multi-differential algebras and their free constructions

2026-03-17T16:45:29Z

Motivated by the recent development of noncommutative Novikov algebras and multi-Novikov algebras from the study of regularity structures of stochastic PDEs, this paper gives a general approach to study various multi-Novikov algebras and multi-differential algebras, with close connection with Poisson algebras. The construction of S. Gelfand of Novikov algebras from differential commutative algebras is generalized to this context. Free noncommuting multi-Novikov algebras are constructed from typed decorated rooted trees and from noncommuting multi-differential polynomials with populated conditions.

The Strong Birthday Problem Revisited

2026-03-17T16:35:30Z

We revisit the Strong Birthday Problem (SBP) introduced by DasGupta'05, which asks for the minimum population n required such that, with a probability of at least 1/2, every individual in the group shares a birthday with at least one other person. Formally, we develop and analyze computational frameworks to determine the probability that in a group of n people with birthdays distributed over m days, each day either has two or more birthdays or is birthday-free. We derive both counting-based and probability-based recurrence relations to solve this problem and establish a novel connection to associated Stirling numbers of the second kind. This relationship is exploited to derive new, more efficient recurrences. Finally, we implement these recurrences using dynamic programming, provide analysis of their asymptotic complexities, and present numerical evaluations that demonstrate the practical efficiency and scalability of our proposed approaches.

Equidistribution in 2-Nilpotent Polish Groups and triple restricted sumsets

2026-03-17T16:16:31Z

The aim of this paper is to establish a Ratner-type equidistribution theorem for orbits on homogeneous spaces associated with 2-nilpotent locally compact Polish groups under the action of a countable discrete abelian group. We apply this result to establish the existence of triple restricted sumsets in subsets of positive density in arbitrary countable discrete abelian groups, subject to a necessary finiteness condition.

Short history of signed exceptional sequences

2026-03-17T16:15:08Z

Whereas exceptional sequences have a long history with many well-known connections to combinatorics, signed exceptional sequences are relatively recent. The authors introduced this concept in 2017 [19], although it was retroactively realized that the category of noncrossing partitions [24] is a special case of this construction. Buan and Marsh [4] have introduced the concept of $τ$-exceptional sequences to generalize the definitions and theorems to all finite dimensional algebras. This short paper is the story of the original concept of signed exceptional sequences for hereditary algebras and how it developed out of the two authors' study of algebraic K-theory, link invariants, and cluster combinatorics.

The recording tableaux of the quantum Littlewood-Richardson map and the orthogonal transpose symmetry map

2026-03-17T15:51:49Z

Recently Watanabe has given an algorithm to compute a bijection, that he calls (quantum) Littlewood-Richardson (LR) map, between semi-standard Young tableaux of shape a partition with at most $2n$ parts and pairs of tableaux consisting of a symplectic tableau with shape a partition with at most $n$ parts, and a recording tableau of skew-shape given by the two previous shapes. The recording tableaux in that algorithm are shown to be equinumerous to Littlewood-Richardson-Sundaram tableaux whose injectivity is shown combinatorially while the surjectivity is concluded via representation theory of a quantum symmetric pair of type AII. Henceforth, the algorithm to compute the quantum LR map provides a new branching model for the branching multiplicities from $GL_{2n}(C)$ to $Sp_{2n}(C)$. Here, as morally suggested by Watanabe, one provides a combinatorial proof of the surjectivity of the quantum LR map which in turn exhibits the restriction of the LR orthogonal transpose symmetry map to LR-Sundaram tableaux.

Independence polynomials of graphs

2026-03-17T15:51:06Z

In this paper, we study the independence polynomial $P_G(x)$ of a finite simple graph $G$, with emphasis on the evaluation at $x=-1$, symmetry, and its connection with the $h$-polynomial of the edge ideal of $G$. For big star graphs, we determine exactly when $P_G(-1)$ is $0, 1$, or $-1$, characterize the pseudo-Gorenstein$^*$ members, and show that there is a unique big star with symmetric independence polynomial. We also study graphs obtained from a graph $H$ by attaching leaves to selected vertices. We derive an explicit formula for the resulting independence polynomial, determine the corresponding value at $-1$, and prove that if every vertex of $H$ receives at least one leaf, then the independence polynomial is symmetric if and only if each vertex receives exactly two leaves. As an application, we obtain exact criteria for the values of $P_G(-1)$ and for the pseudo-Gorenstein$^*$ members of caterpillar graphs. For cochordal graphs, we classify all symmetric independence polynomials. Finally, for connected graphs on $n$ vertices with small independence numbers, we determine the exact range of possible values of $P_G(-1)$.

A quadratic-time coloring algorithm for graphs with large maximum degree

2026-03-17T15:36:41Z

Graph coloring is a central problem in graph theory and is NP-hard for general graphs. Motivated by the Borodin--Kostochka conjecture, we study the algorithmic problem of coloring graphs with large maximum degree and no clique of size $Δ$. We give a quadratic-time coloring algorithm that constructs a $(Δ-1)$-coloring for such graphs. We also prove that every graph $G$ with maximum degree $Δ\ge 7.3 \times 10^9$ and clique number $ω(G) < Δ$ satisfies $χ(G) \le Δ- 1$. This improves a longstanding result of Reed.

A characterization of terminal planar networks by forbidden structures

2026-03-17T15:25:49Z

The class of terminal planar networks was recently introduced from a biological perspective in relation to the visualization of phylogenetic networks, and its connection to upward planar networks has been established. We provide a Kuratowski-type theorem that characterizes terminal planar networks by a finite set of forbidden structures, defined via six families of 0/1-labeled graphs. Another characterization based on planarity of supergraphs yields linear-time algorithms for testing terminal planarity and for computing such planar drawings. We describe an application that is potentially relevant in broader, non-phylogenetic settings. We also discuss a connection of our main result to an open problem on the forbidden structures of single-source upward planar networks.

Monochromatic sums and quotients in $\mathbb N$

2026-03-17T15:14:45Z

We prove partition regularity of the configuration $x,y,x+y,y/x$ in a strong infinitary form that extends Hindman's Theorem. We study the related issue of partition regularity of configurations involving products of a degree one polynomial in $x$ with one in $y$, reducing the general problem to a handful of special cases.

On an infinite sequence of strongly regular digraphs with parameters $(9(2n+3), 3(2n+3), 2n+4, 2n+1, 2n+4)$

2026-03-17T14:59:44Z

The paper constructs an infinite sequence of strongly regular directed graphs. The construction is based on representing adjacency matrices as block matrices composed of circulant blocks, together with the use of a compactification operation consistent with polynomial arithmetic modulo $x^{2n+3}-1$. Using computer search with the pychoco library and subsequent analysis of automorphism groups in the GAP system, a stable structural pattern was identified, which made it possible to formulate and prove an explicit formula for the adjacency matrices of the infinite sequence of directed graphs. Among the obtained digraphs, there are examples with parameters $(63, 21, 8, 5, 8)$ and $(81, 27, 10, 7, 10)$, for which the question of existence had previously remained open. A hypothesis on the structure of the automorphism groups of the digraphs in the constructed sequence is also formulated.

Blow-up structure of graphs excluding a tree or an apex-tree as a minor

2026-03-17T14:54:52Z

We prove blow-up structure theorems for graphs excluding a tree or an apex-tree as a minor. First, we show that for every $t$-vertex tree $T$ with $t\geq 3$ and radius $h$, and every graph $G$ excluding $T$ as a minor, there exists a graph $H$ with pathwidth at most $2h-1$ such that $G$ is contained in $H\boxtimes K_{t-2}$ as a subgraph. This improves on a recent theorem of Dujmović, Hickingbotham, Joret, Micek, Morin, and Wood (2024), who proved the same result but with a larger bound on the order of the complete graph in the product. Second, we show that for every $t$-vertex tree $T$ with $t\geq 2$, radius $h$ and maximum degree $d$, and every graph $G$ excluding the apex-tree $T^+$ as a minor, where $T^+$ is the tree obtained by adding a universal vertex to $T$, there exists a graph $H$ with treewidth at most $4h-1$ such that $G$ is contained in $H\boxtimes K_{2(t-1)d}$. The bound on the treewidth of $H$ is best possible up to a factor $2$, and improves on a $2^{h+2}-4$ bound that follows from a recent result of Dujmović, Hickingbotham, Hodor, Joret, La, Micek, Morin, Rambaud, and Wood (2024).

Connectivity notions on compatible digraphs in equational classes

2026-03-17T14:52:18Z

A digraph $\mathbb G$ is called weakly connected, strongly connected, and extremely connected if any two vertices of $\mathbb G$ are connected respectively by an oriented, a directed, and a symmetric path in $\mathbb G$. We investigate the algebraic properties of digraphs that force some of these connectivity notions to coincide. We prove that for digraphs with a Hobby-McKenzie polymorphism, the strong and the extreme components coincide. Conversely, if the strong and the extreme components of any compatible digraph in an equational class of algebras coincide, then the class must have a Hobby-McKenzie term. As a consequence, we obtain that an equational class $\mathcal V$ is $n$-permutable for some $n$ if and only if the weak components of any compatible reflexive digraph in $\mathcal V$ are extremely connected.