On base sizes for primitive groups of product type

Let $G?\mathrm{Sym}(\mathrm{\Omega })$ be a finite permutation group and recall that the base size of G is the minimal size of a subset of Ω with trivial pointwise stabiliser. There is an extensive literature on base sizes for primitive groups, but there are very few results for primitive groups of product type. In this paper, we initiate a systematic study of bases in this setting. Our first main result determines the base size of every product type primitive group of the form $L?P?\mathrm{Sym}(\mathrm{\Omega })$ with soluble point stabilisers, where $\mathrm{\Omega }={\mathrm{\Gamma }}^k$, $L?\mathrm{Sym}(\mathrm{\Gamma })$ and $P?S_k$ is transitive. This extends recent work of Burness on almost simple primitive groups. We also obtain an expression for the number of regular suborbits of any product type group of the form $L?P$ and we classify the groups with a unique regular suborbit under the assumption that P is primitive, which involves extending earlier results due to Seress and Dolfi. We present applications on the Saxl graphs of base-two product type groups and we conclude by establishing several new results on base sizes for general product type primitive groups.     

A tight bound for conflict-free coloring in terms of distance to cluster

Given an undirected graph $G=(V,E)$, a conflict-free coloring with respect to open neighborhoods (CFON coloring) is a vertex coloring such that every vertex has a uniquely colored vertex in its open neighborhood. The minimum number of colors required for such a coloring is the CFON chromatic number of G, denoted by ${\chi }_{ON}(G)$.In previous work [WG 2020], we showed the upper bound ${\chi }_{ON}(G)\le \mathsf{dc}(G)+3$, where $\mathsf{dc}(G)$ denotes the distance to cluster parameter of G. In this paper, we obtain the improved upper bound of ${\chi }_{ON}(G)\le \mathsf{dc}(G)+1$. We also exhibit a family of graphs for which ${\chi }_{ON}(G)>\mathsf{dc}(G)$, thereby demonstrating that our upper bound is tight.     

Atomic decompositions for noncommutative martingales

We prove an atomic type decomposition for the noncommutative martingale Hardy space ${\mathsf{h}}_p$ for all $0<p<2$ by an explicit constructive method using algebraic atoms as building blocks. Using this elementary construction, we obtain a weak form of the atomic decomposition of ${\mathsf{h}}_p$ for all $0<p<1$, and provide a constructive proof of the atomic decomposition for $p=1$ which resolves a main problem on the subject left open for the last twelve years. We also study ${(p,\infty )}_c$-atoms, and show that every ${(p,2)}_c$-atom can be decomposed into a sum of ${(p,\infty )}_c$-atoms; consequently, for every $0<p\le 1$, the ${(p,q)}_c$-atoms lead to the same atomic space for all $2\le q\le \infty$. As applications, we obtain a characterization of the dual space of the noncommutative martingale Hardy space ${\mathsf{h}}_p$ ($0<p<1$) as a noncommutative Lipschitz space via the weak form of the atomic decomposition. Our constructive method can also be applied to prove some sharp martingale inequalities.