arXiv++ Combinatorics

We study a variant of the $k$-in-a-row game in which players alternatively claim positions until a $k$-in-a-row is created among all claimed positions. This leads to the constraint near $k$-in-a-row avoiding on configurations and the associated problem of determining their extremal densities of such configurations. We investigate this problem on two types of boards: the grid $\mathbb{Z}^2$ and hypercubes $[k]^d$. For the grid $\mathbb{Z}^2$, we establish nearly tight bounds on the maximum density $D(k,\mathbb{Z}^2)$, showing that $D(k,\mathbb{Z}^2)=1-\frac{2}{k}$ whenever $3\nmid k$, and determine both $D(3,\mathbb{Z}^2)$ and $d(3,\mathbb{Z}^2)$ exactly. We also bound the minimum density $d(k,\mathbb{Z}^2)$ up to a gap of $(8+o(1))k^{-1}$. For hypercubes $[k]^d$, we derive asymptotic bounds on $D(k,[k]^d)$ up to order $k^{-2}$ and obtain the exact value of $d(k,[k]^d)$. Our results contrast with the classical no-$(k+1)$-in-line problem, a similar problem imposing different constraint, where the trivial upper bound is conjectured to be attainable.

Petrie symmetric functions $G(k,n)$, also known as truncated homogeneous symmetric functions or modular complete symmetric functions, form a class of symmetric functions interpolating between the elementary symmetric functions $e_n$ and the homogeneous symmetric functions $h_n$. Analogous to the Pieri rule for $s_μh_n$ and the dual Pieri rule for $s_μe_n$, Grinberg showed that the Schur coefficients for the ``Pieri rule'' of $s_μG(k,n)$ can be determined by the determinant $\pet_k(λ,μ)$ of Petrie matrices. Cheng, Chou, Eu, Fu, and Yao provided a ribbon tiling interpretation for the coefficient $\pet_k(λ,\varnothing)$, which was later generalized by Jin, Jing, and Liu to $\pet_k(λ,μ)$ in the case where $λ/μ$ is connected. The goal of this paper is to offer a more transparent combinatorial perspective on the structure and behavior of Petrie symmetric functions. First, we provide a refined combinatorial formula for the determinant of a Petrie matrix in terms of certain orientations of the associated graph derived from the matrix. We then generalize the result of JJL to arbitrary skew shapes using purely combinatorial proofs. In addition, we investigate the generating function of these orientations with respect to certain statistics. As an application of our method, we present a combinatorial proof of the plethystic Pieri rule.