Partition Rank and Partition Lattices
Extracted source text · arXiv 2208.06932
\documentclass[12pt]{amsart}
%\usepackage[T1]{fontenc}
%\usepackage[utf8]{inputenc}
%\usepackage{authblk}
\usepackage{dsfont}
% Set spacing and margins
\usepackage{enumitem}
%\usepackage{authblk}
\renewcommand{\baselinestretch}{1.2}
\hoffset=0in
\voffset=-.2in
\oddsidemargin=0in
\evensidemargin=0in
\topmargin=0.1in
\headsep=0.15in
\headheight=8pt
\textwidth=6.5in
\textheight=8.75in
% Declare packages
\usepackage{amsmath}
\usepackage[foot]{amsaddr}
\usepackage{amssymb}
\usepackage{amsthm}
\usepackage{epsfig}
\usepackage{url}
\usepackage{array}
\usepackage{varwidth}
\usepackage{tikz}
\usetikzlibrary{patterns}
\usepackage{multirow}
\usepackage{textcomp}
\usepackage{bbm}
\usepackage{float}
%\usepackage{slashbox}
%\usepackage{e-jc}
%\usepackage{graphicx,curves}
%\usepackage{eepic}
%\usepackage{amsmath}
%\usepackage{caption}
%\usepackage{palatino}
\usepackage{color}
%\usepackage[
%backend=biber,
%style=alphabetic,
%sorting=ynt
%]{biblatex}
%\addbibresource{semi-regular.bib}
% Declare theorem environments
%\numberwithin{equation}{section}
%\def\proof{\smallskip\noindent {\it Proof: \ }} \def\endproof{\hfill$\square$\medskip}
\newtheorem{theorem}{Theorem}
\newtheorem{proposition}[theorem]{Proposition}
\newtheorem{question}[theorem]{Question}
\newtheorem{corollary}[theorem]{Corollary}
\newtheorem{conjecture}[theorem]{Conjecture}
\newtheorem{lemma}[theorem]{Lemma}
\newtheorem{property}[theorem]{Property}
\newtheorem{problem}[theorem]{Problem}
\newenvironment{numtheorem}[1]{\medskip\noindent {\bf Theorem~#1.}\em}{}
\newtheorem{definition}[theorem]{Definition}
\newtheorem{example}[theorem]{Example}
\newtheorem{remark}[theorem]{Remark}
\newtheorem*{mattreethm}{The Matrix-Tree Theorem}
\newcommand{\rk}{\mbox{rk}}
\newcommand{\LL}{\mathcal{L}}
\newcommand{\F}{\mathbb{F}}
\newcommand{\Fq}{\mathbb{F}_q}
\newcommand{\Fqn}{\mathbb{F}_q^n}
\DeclareMathOperator{\adj}{adj}
\newcommand{\vu}{\mathbf{u}}
\newcommand{\vv}{\mathbf{v}}
\DeclareMathOperator{\indeg}{indeg}
\DeclareMathOperator{\outdeg}{outdeg}
\renewcommand{\v}[1]{\vec{\#1}}
\newcommand{\veclist}{\vec{x}_1,\ldots,\vec{x}_{k+1}}
\newcommand{\smallveclist}{\vec{x}_1,\ldots,\vec{x}_k}
%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%
\title{Partition Rank and Partition Lattices}
%\author{Mohamed Omar}
%\author{Lisa Sauermann\thanks{Department of Mathematics, Massachusetts Institute of Technology, Cambridge, MA.
%Email: \href{lsauerma@mit.edu}{\nolinkurl{lsauerma@mit.edu}}. Research supported by NSF Award DMS-1953772.}}
\author{Mohamed Omar}
\thanks{Harvey Mudd College, Department of Mathematics, Claremont, CA. Email: omar@g.hmc.edu. This work was supported by the AMS Claytor-Gilmer Fellowship and the Karen-EDGE Fellowship.}
\date{\today}
\begin{document}
\maketitle
\begin{abstract}
We introduce a universal approach for applying the partition rank method, an extension of Tao's slice rank polynomial method, to tensors that are not diagonal. This is accomplished by generalizing Naslund's distinctness indicator to what we call a \emph{partition indicator}. The advantages of partition indicators are two-fold: they diagonalize tensors that are constant when specified sets of variables are equal, and even in more general settings they can often substantially reduce the partition rank as compared to when a distinctness indicator is applied. The key to our discoveries is integrating the partition rank method with M\"{o}bius inversion on the lattice of partitions of a finite set. Through this we unify disparate applications of the partition rank method in the literature. We then use our theory to address a finite field analogue of a question of Erd\H{o}s, generalize work of Pach et. al on bounding sizes of sets avoiding right triangles to bounding sizes of sets avoiding right $k$-configurations, and complement work of Sauermann and Tao to determine lower bounds on sizes of sets in $\mathbb{F}_p^n$ that must have solutions to a homogeneous linear equation where many but not all variables are equal.
\end{abstract}
%\tableofcontents
\section{Introduction}
A fundamental concern in extremal combinatorics is how large a subset of an ambient set can be while avoiding a certain property. A hallmark example of such a problem that has received particular attention over the past few decades is the Cap Set problem, which asks to determine the largest size of a subset of $\mathbb{F}_3^n$ avoiding a triple of collinear points. One can see this is precisely the question of determining the largest size of a subset of $\mathbb{F}_3^n$ that avoids a $3$-term arithmetic progression. This question was raised independently in differing contexts \cite{alon1995lattice}, \cite{calderbank1994maximal}, \cite{frankl1987subsets}, dating back as early as the 1980s. In 1995, Meshulam \cite{meshulam1995subsets} proved an upper bound of $O(3^n/n)$ and not until a 2012 article by Bateman and Katz \cite{bateman2012new} was this significantly tightened to an upper bound of $O(3^n/n^{1+\epsilon})$ for a positive constant $\epsilon$. Despite these bounds, it was conjectured and was a major open problem in additive combinatorics that one could achieve an exponentially small upper bound of $c^n$ with $c<3$. This was finally resolved in a 2017 article by Ellenberg and Gijswijt \cite{capset} building on a breakthrough of Croot, Lev and Pach \cite{crootlevpach} for the analogous $3$-term arithmetic progression problem on $(\mathbb{Z}/4\mathbb{Z})^n$. The key insight was using what Tao \cite{tao2016notes1} later coined as the \emph{slice rank polynomial method}.
The techniques of \cite{crootlevpach} and \cite{capset} in the language of \cite{tao2016notes1} paved the way for breakthroughs on a plethora of disparate extremal combinatorics problems. Tao \cite{tao2016notes1} used it to find exponentially small lower bounds on sizes of subsets of $\mathbb{F}_p^n$ (with $p$ prime) that guarantee solutions to a homogeneous linear system with variables not all equal. Naslund and Sawin \cite{naslund2017upper} used it to make breakthroughs on the Sunflower Conjecture of Erd\H{o}s and Szemer\'{e}di \cite{erdos1978combinatorial}. Blasiak et. al used slice rank to find exponentially small bounds on tricolored sum-free sets in abelian groups \cite{blasiak2016cap}.
Despite the ubiquitous applications of the method, it has limitations in providing upper bounds on sizes of sets that avoid $k$-tuples of elements satisfying specific properties when $k \geq 4$. To address this, Naslund \cite{naslund2020partition} introduced the \emph{partition rank method}, and used it to extend the arguments of Ge and Shangguan \cite{ge2020maximum} and obtain a polynomial bound on the maximum size of subsets of $\mathbb{F}_q^n$ (the polynomial in $n$ with exponent in $q$) containing no $k$-right corner, that is $k$ right angles emanating from a point. Naslund further used this approach to improve the best known Erd\H{o}s-Ginzburg-Ziv constants for finite abelian groups \cite{naslund2020exponential} and more recently to address problems in Euclidean Ramsey Theory \cite{naslund2022chromatic}.
Many of the applications of slice rank we've discussed use diagonal tensors to establish bounds on sizes of sets. However, this is not always the case. The work of Ge and Shangguan \cite{ge2020maximum} uses the slice rank method together with a non-diagonal $3$-tensor to find polynomial upper bounds on sizes of subsets in $\Fqn$ ($q$ a power of an odd prime) that avoid a right angle, drastically improving the previous exponential bound due to Bennett \cite{bennett2018occurrence}. The work of Sauermann \cite{sauermann2022finding} uses a non-diagonal tensor together with a characterization of slice rank by Sawin and Tao \cite{tao2016notes} to find exponentially small lower bounds on sizes of sets in $\F_p^n$ that guarantee the existence of solutions to certain linear systems where variables are all distinct. However, non-diagonal tensors become more difficult to work with when applying the partition rank method. Naslund mitigates this by introducing the concept of a \emph{distinctness indicator} that diagonalizes a non-diagonal tensor after multiplication by it \cite{naslund2020partition}.
This article introduces a more universal approach for applying the partition rank method in the situation that the tensors in play are non-diagonal by generalizing Naslund's distinctness indicator to what we call a \emph{partition indicator}. Roughly speaking, this allows one to diagonalize a tensor if its behavior is controlled when specified collections of variables are set equal. The key insight is merging the partition rank construction with the theory of partially ordered sets, particularly as it pertains to the lattice of partitions of a set. We not only recover theory in the literature through this framework, but we see how to apply the framework to discover new results. Using our first main theorem, Theorem~\ref{thm:main1}, we find a polynomial upper bound on sizes of subsets of $\Fqn$ avoiding obtuse angles, addressing a finite field analogue of a problem of Erd\H{o}s \cite{erdos}. Using our second main theorem, Theorem~\ref{thm:main2}, we find exponentially small lower bounds on sizes of subsets of $\mathbb{F}_p^n$ that force a solution to a linear equation with many but not all variables equal. Also using the second theorem, we find polynomial upper bounds on sizes of subsets of $\Fqn$ avoiding a general class of properties, an instance of which extends a result of Pach et. al \cite{pach2020avoiding} from bounding the maximum size of subsets of $\Fqn$ containing no right triangle to containing no right $k$-configuration (that is, $k$ distinct points, every triple of which form right angles).
Our article is organized as follows. We begin in Section~\ref{sec:prelim} with preliminaries that introduce set partitions, partition lattices, and the slice rank and partition rank methods. In Section~\ref{sec:partitions} we develop our main tool, the partition indicator. We then integrate it into the theory of partition rank to provide opportunity for more widespread applications. Section~\ref{sec:applications} is dedicated to applications of the theory from Section~\ref{sec:partitions}, proving the new results bounding sizes of sets avoiding obtuse angles, solutions to linear equations with many but not all variables equal, right $k$-configurations, and more. We finish in Section~\ref{sec:futuredirections} with future directions.
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%% PRELIMINARIES
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\section{Preliminaries}\label{sec:prelim}
\subsection{Partitions}
We start by introducing necessary theory on set partitions. Much of this can be found in \cite{stanley2011enumerative}. Let $k$ be a positive integer. Denote by $\Pi_k$ the set of partitions of $\{1,2,\ldots,k\}$. For any $\pi \in \Pi_k$, we write $\pi$ as $\pi_1\pi_2 \cdots \pi_r$ if $\pi$ is partitioned into $r$ sets (each of these sets is called a block), where $\pi_i$ lists the contents in the $i$th set of the partition for each $i$ (with order not mattering). For instance, if $k=8$ and $\pi=\{\{1,2,6,8\},\{3,4\},\{5,7\}\}$ then $\pi=\pi_1\pi_2\pi_3$ with $\pi_1=1268, \ \pi_2=34, \ \pi_3=57$. Sometimes we write $\pi$ as a contiguous list of integers separated by a vertical bars to denote the separation of blocks. For instance the previous partition may be written as $1268|34|57$. An explicit expression for the number of partitions in $\Pi_k$ with exactly $r$ blocks is typically complicated, and so is given its own notation $S(k,r)$. The numbers $S(k,r)$ as $k$ and $r$ vary are known as the \emph{Stirling numbers of the second kind}. Explicit formulas for the Stirling numbers of the second kind are generally cumbersome, but there are many identities they satisfy (see \cite{stanley2011enumerative}).
The set $\Pi_k$ forms a partial order $<$ under refinement, meaning if $\pi'$ and $\pi$ are distinct then $\pi' < \pi$ if every block of $\pi'$ lies in a block of $\pi$. For instance if $\pi'=16|28|34|5|7$ then $\pi'<\pi$ where $\pi$ is the aforementioned partition above. With this relation, we say $\pi'$ is finer than $\pi$ and $\pi$ is coarser than $\pi'$. In fact, $\Pi_k$ under the partial order $<$ forms a lattice: every pair of elements has a unique least upper bound and unique greatest lower bound. The lattice has a unique minimal element $\hat{0}$ which consists of the $k$ blocks $1|2| \cdots |k$ and a unique maximal element $\hat{1}$ which consists of the one block $12 \cdots k$. The partitions $\hat{0}$ and $\hat{1}$ being minimal and maximal respectively means $\hat{0} \leq \pi \leq \hat{1}$ for every $\pi \in \Pi_k$. This lattice is also graded: for any $\pi \in \Pi_k$, the \emph{rank} of $\pi$, denoted $\mbox{rk}(\pi)$, is $k$ minus the number of blocks in $\pi$. In this way, $\mbox{rk}(\hat{0})=0, \ \mbox{rk}(\hat{1})=k-1$ and for any $\pi,\pi' \in \Pi_k$ with $\pi$ covering $\pi'$ (meaning no partitions lie between these two partitions under $<$), we have $\mbox{rk}(\pi)=\mbox{rk}(\pi')+1$.
For any finite set $P$ with a partial order $<$ on it, and any field $\mathbb{F}$, one can define the \emph{zeta function} of $P$ on pairs of elements of $P$ given by $\zeta: P \times P \to \mathbb{F}$ with $\zeta(x,y)=1$ if $x \leq y$ and $0$ otherwise. Viewing $\zeta$ as a matrix in $\mathbb{F}^{P \times P}$, with the row and column indices ordered by a linear extension of $P$, $\zeta$ is upper triangular with $1$'s along the diagonals. It therefore has a matrix inverse, which is typically denoted by $\mu$ and is called the \emph{M\"{o}bius function} of $P$ with respect to $<$. Fundamental relations satisfied by $\mu$ are:
\begin{equation}\label{eqn:mobius}
\mu(x,y) = \begin{cases}
1 \hspace{0.5in} &\mbox{ if } x=y \\
-\sum_{x \leq z < y} \mu(x,z) \hspace{0.5in} &\mbox{ if } x<y \\
0 \hspace{0.5in} &\mbox{ otherwise}
\end{cases}
\end{equation}
Observe that the second condition is equivalent to stating that for $x<y$, $\sum_{x \leq z \leq y} \mu(x,y)=0$, a reformulation that is fruitful for our endeavors. The M\"{o}bius function of the poset $\Pi_k$ under refinement is completely understood. Firstly, one can show that $\mu(\hat{0},\hat{1})=(-1)^{k-1}(k-1)!$. Now suppose that $\pi$ has $r$ blocks, $\pi'<\pi$, and that the $i$th block of $\pi$ is split into $\lambda_i$ blocks in $\pi'$. Then the interval $[\pi',\pi]$ in $\Pi_k$ is isomorphic to the product poset $\Pi_{\lambda_1} \times \cdots \times \Pi_{\lambda_r}$ and one can use this to show that $\mu(\pi',\pi)=(-1)^{\lambda_1-1} (\lambda_1-1)! \cdots (-1)^{\lambda_r-1} (\lambda_r-1)!$.
In many applications of the partition rank method we look at functions defined on $k$-tuples from a set where certain members of the $k$-tuples are deemed to be equal. In that light, given a set $X$, field $\mathbb{F}$, and $\pi \in \Pi_k$, define $\delta_{\pi}:X^k \to \mathbb{F}$ by
\[
\delta_{\pi}(x_1,\ldots,x_k) = \begin{cases}
1 \hspace{0.5in} &\mbox{ if } x_i=x_j \mbox{ for every } i,j \mbox{ in the same block of } \pi \\
0 \hspace{0.5in} &\mbox{ otherwise}
\end{cases}
\]
For instance if $k=4$ and $x_1=x_4$ are different than $x_2=x_3$, then $\delta_{\pi}(x_1,x_2,x_3,x_4)=1$ if and only if $\pi \leq 14|23$. Notice then that $14|23$ is the coarsest partition $\pi$ for which $\delta_{\pi}(x_1,x_2,x_3,x_4)=1$, and is truly the partition that identifies which variables are equal and which are not. To capture this, for a $k$-tuple $(x_1,x_2,\ldots,x_k) \in X^k$ we define the \emph{partition} of $(x_1,x_2,\ldots,x_k)$ to be the coarsest partition $\pi$ for which $\delta_{\pi}(x_1,\ldots,x_k)=1$. Of particular note is that the partition of $(x_1,x_2,\ldots,x_k)$ is $\hat{0}$ if and only if the $x_i$'s are distinct and is $\hat{1}$ if and only if the $x_i$'s are all equal.
\subsection{Slice and Partition Rank}
We start by introducing the concept of the slice rank of a tensor.
\begin{definition}
Let $X_1,\ldots,X_k$ be finite sets and $T:X_1 \times \cdots \times X_k \to \F$. We say $T$ is a \emph{slice} if it can be written as
\[
T(x_1,\ldots,x_k) = T'(x_i) \cdot T''(x_1,\ldots,x_{i-1},x_{i+1},\ldots,x_k)
\]
for some $i \in \{1,2,\ldots,k\}$, where $T':X_i \to \F$ and $T'':X_1 \times \cdots X_{i-1} \times X_{i+1} \times \cdots \times X_k \to \F$. The \emph{slice rank} of $T$, written \mbox{slice-rank}(T), is the minimum value $r$ such that $T$ can be written as a sum of $r$ slices.
\end{definition}
For instance, the tensor $T:\F_3^3 \to \F_3$ given by $T(x,y,z)=xy+xz+yz$ has slice rank $2$ because we can not factor out a function of any one variable, but $T(x,y,z)=T_1'(x) \cdot T_1''(y,z)+T_2'(y) \cdot T_2''(x,z)$ where
\[
T_1'(x)=x, \ T_1''(y,z)=y+z, \ T_2'(y)=y, \ T_2''(x,z)=z.
\]
Suppose now that $X$ is a set and $A \subseteq X$ with the caveat that $k$-tuples of $A$ avoid a particular property $\mathcal{P}$. In many applications, authors construct a tensor $T:A^k \to \mathbb{F}$ for some field $\mathbb{F}$, and exploit the fact that $A$ avoids $\mathcal{P}$ to make $T$ a diagonal tensor with non-zero diagonal entries. Once this is done, an upper bound on $|A|$ can be established through the slice rank of $T$.
\begin{theorem}[\cite{tao2016notes}]\label{thm:slice-rank}
Let $A$ be a finite set and $\F$ be a field. Let $T:A^k \to \F$ be such that $T(x_1,x_2,\ldots,x_k) \neq 0$ if and only if $x_1=x_2=\cdots=x_k$. Then the slice rank of $T$ is $|A|$.
\end{theorem}
Theorem~\ref{thm:slice-rank} is particularly useful when $T$ is a polynomial: one can estimate the slice rank by peeling off monomials of low degree in each summand, and counting the number of possible ways to do so. This was the crux of the key arguments in the seminal papers of Croot, Lev, Pach \cite{crootlevpach} and Ellenberg, Gijswijt \cite{capset}.
With the concept of slice rank established, we now introduce the concept of partition rank. First we need some terminology. Given a nonempty proper subset $S=\{i_1,\ldots,i_m\}$ of $\{1,2,\ldots,k\}$ and a tensor $T: X_{i_1} \times \cdots \times X_{i_m} \to \F$ we abbreviate the expression $T(x_{i_1},\ldots,x_{i_m})$ by $T(\vec{x}_S)$. We interchangeably write $T(\vec{x}_{\pi_i})$ when $S$ happens to be the contents of a block $\pi_i$ of a partition $\pi$.
\begin{definition}\label{def:partition}
Let $X_1,\ldots,X_k$ be sets and $T:X_1 \times \cdots \times X_k \to \mathbb{F}$. We say $T$ has \emph{partition rank $1$} if there is a nontrivial partition $\pi=\pi_1 \cdots \pi_r$ in $\Pi_k$ and tensors $T_1,T_2,\ldots,T_r$ with $T_i: \prod_{j \in \pi_i} X_j \to \mathbb{F}$ so that
\[
T(x_1,\ldots,x_k) = \prod_{i=1}^r T_i(\vec{x}_{\pi_i}).
\]
The \emph{partition rank} of $T$, written \mbox{partition-rank}(T), is the minimum value $r$ such that $T$ can be written as the sum of $r$ functions of partition rank $1$.
\end{definition}
In other words, a tensor $T$ has partition rank $1$ if it can be written as a product of tensors, each productand using distinct sets of the variables $x_1,\ldots,x_k$. As an example, $T:X^4 \to \F$ given by $T(x_1,x_2,x_3,x_4)=(x_1^2+x_2^2) \cdot \delta(x_3,x_4)$ has partition rank $1$, but its not immediate how to calculate its slice rank for a generic $\F$.
A significant reason to introduce partition rank is that there is an analogue of Theorem~\ref{thm:slice-rank} that allows us to bound the size of a set using it.
\begin{theorem}[\cite{naslund2020partition}]\label{thm:partitionrank}
Let $A$ be a finite set and $\F$ be a field. Let $T:A^k \to \F$ be a function such that $T(x_1,x_2,\ldots,x_k) \neq 0$ if and only if $x_1=x_2=\cdots=x_k$. Then the partition rank of $T$ is $|A|$.
\end{theorem}
At first glance we notice that if $T:A^k \to \mathbb{F}$ is a diagonal tensor with non-zero diagonal entries then Theorem~\ref{thm:slice-rank} and Theorem~\ref{thm:partitionrank} imply $|A|=\mbox{slice-rank}(T)=\mbox{partition-rank}(T)$ so the partition rank may at first seem to not provided added value. However, in practice, an upper bound on $|A|$ is established through these theorems by finding an upper bound on $\mbox{slice-rank}(T)$ in Theorem~\ref{thm:slice-rank} and analogously $\mbox{partition-rank}(T)$ in Theorem~\ref{thm:partitionrank}. In general we see that the partition rank offers more flexibility than the slice rank: if we have a slice $T:X_1 \times \cdots \times X_k \to \F$, then it can be written as $T'(x_i) \cdot T''(x_1,\ldots,x_{i-1},x_{i+1},\ldots,x_k)$, which has partition rank $1$, but partition rank allows us to split our tensors in many more ways than just peeling off a tensor of one variable. Because of this, it is potentially much easier to get tigher upper bounds on partition-rank($T$) as opposed to slice-rank($T$).
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%% PARTITIONS
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\section{Partition Rank \& Partition Lattices}\label{sec:partitions}
This section presents the main theory of the article, introducing partition indicators and how they provide more universal opportunities to use the partition rank method. We start with a recap of how partition rank is concretely used in literature to develop upper bounds on set sizes, as motivation for the theory we build.
\subsection{Distinctness Indicators}
In \cite{naslund2020partition}, Naslund proved that if $A \subseteq \Fqn$ (here $q$ an odd prime power) contains no \emph{$k$-right-corner}, that is no distinct vectors $\vec{x}_1,\ldots,\vec{x}_{k+1}$ for which $\vec{x}_1-\vec{x}_{k+1},\ldots,\vec{x}_k-\vec{x}_{k+1}$ are mutually orthogonal, then $|A| \leq \binom{n+(k-1)q}{(k-1)(q-1)}$. To find such an upper bound one might attempt to create a diagonal tensor $T:A^{k+1} \to \Fq$, find an upper bound for $\mbox{slice-rank}(T)$, and apply Theorem~\ref{thm:slice-rank}. A reasonable start would be the tensor
\[
T(\veclist) = \prod_{j<\ell \leq k} \left(1-\langle \vec{x}_j-\vec{x}_{k+1},\vec{x}_{\ell}-\vec{x}_{k+1} \rangle^{q-1} \right).
\]
We see that
\[
T(\veclist)=\begin{cases}
1 \hspace{0.5in} &\mbox{ if } \vec{x}_1-\vec{x}_{k+1},\ldots,\vec{x}_k-\vec{x}_{k+1} \mbox{ are mutually orthogonal } \\
0 \hspace{0.5in} &\mbox{ otherwise }
\end{cases}
\]
so one might suspect then that $T$ is diagonal since $A$ avoids $k$-right corners. However this is subtly not the case. A $k$-right corner requires vectors to be distinct, and it is possible for $T(\veclist)=1$ even if that is not the case. For instance, we can set $\vec{x}_2=\cdots=\vec{x}_k$, have $\vec{x}_1-\vec{x}_{k+1}$ and $\vec{x}_2-\vec{x}_{k+1}$ orthogonal, and meanwhile have $\vec{x}_2-\vec{x}_{k+1}$ self-orthogonal (a possibility in $\Fqn$). To remedy this, Naslund augments $T$ by introducing what he coined as the \emph{distinctness indicator} function $H:A^{k+1} \to \F$, which can be written as a sum of the form
\begin{equation}\label{eqn:indicator}
H(\vec{x}_1,\ldots,\vec{x}_{k+1}) = \sum_{\pi \in \Pi_{k+1}} f(\pi) \cdot \delta_{\pi}(\veclist)
\end{equation}
for strategically chosen constants $f(\pi)$ so as to have
\begin{align*}
H(\veclist) = \begin{cases}
1 \hspace{0.5in} &\mbox{ if } \veclist \mbox{ are distinct } \\
(-1)^k \cdot k! \hspace{0.5in} &\mbox{ if } \vec{x}_1=\cdots=\vec{x}_{k+1} \\
0 \hspace{0.5in} &\mbox{ otherwise.}
\end{cases}
\end{align*}
As a concrete illustration, it turns out when $k=2$ that
\begin{align*}
H(\vec{x}_1,\vec{x}_2,\vec{x}_3) &= 1 \cdot \delta(\vec{x}_1)\delta(\vec{x}_2)\delta(\vec{x}_3) -1 \cdot \delta(\vec{x}_3)\delta(\vec{x}_1,\vec{x}_2) -1 \cdot \delta(\vec{x}_2)\delta(\vec{x}_1,\vec{x}_3) \\
&-1 \cdot \delta(\vec{x}_1)\delta(\vec{x}_2,\vec{x}_3)+0 \cdot \delta(\vec{x}_1,\vec{x}_2,\vec{x}_3).
\end{align*}
This now makes $H(\veclist) \cdot T(\veclist)$ diagonal on $A^k$ with non-zero diagonal entries. More relevant to us is that there is a specific strategy for computing the partition rank of $H \cdot T$, and hence by Theorem~\ref{thm:partitionrank}, a strategy for finding bounds on sizes of restricted sets. The strategy is afforded by the fact that each summand $\delta_{\pi}(\veclist) \cdot T(\veclist)$ in $H \cdot T$ will separate variables when $\pi \neq \hat{1}$, and have controllable partition rank.
This approach to the $k$-right corners problem exemplifies the typical and natural approach used when applying the partition rank method to find an upper bound on the size of a set $A$ for which $k$-tuples avoid a property $\mathcal{P}$.
\begin{enumerate}[label=(\alph*)]
\item Find a tensor $T:A^k \to \mathbb{F}$ for some field $\mathbb{F}$ so that
\[
T(x_1,\ldots,x_k)=\begin{cases}
c_1 \hspace{0.5in} &\mbox{ if } (x_1,\ldots,x_k) \mbox{ satisfies } \mathcal{P} \\
c_2 \hspace{0.5in} &\mbox{ if } x_1=\cdots=x_k \\
0 \hspace{0.5in} &\mbox{ otherwise. }
\end{cases}
\]
for some nonzero $c_2$.
\item Introduce a tensor $H:A^k \to \mathbb{F}$ akin to that in Equation~$(\ref{eqn:indicator})$ so that
\[
H(x_1,\ldots,x_k) = \begin{cases}
1 \hspace{0.5in} &\mbox{ if } \smallveclist \mbox{ are distinct } \\
c_3 \hspace{0.5in} &\mbox{ if } x_1=\cdots=x_k\\
0 \hspace{0.5in} &\mbox{ otherwise}
\end{cases}
\]
for some nonzero $c_3$.
\item $H \cdot T$ is then diagonal with non-zero diagonal entries on $A^k$, so $|A| \leq \mbox{partition-rank}(H \cdot T)$.
\end{enumerate}
The typical conundrum that arises is that it is not always simple to find a tensor $T:A^k \to \F$ that behaves as in (a). For instance, the tensor introduced in \cite{ge2020maximum} to bound sizes of sets in $\Fqn$ with no right angles is $T:A^3 \to \mathbb{F}_q$ given by
\begin{equation}\label{eqn:rightangle}
T(\vec{x},\vec{y},\vec{z})=\mathds{1}_{y \neq z} \cdot \langle \vec{y}-\vec{x},\vec{z}-\vec{x} \rangle^{q-1}.
\end{equation}
This is $1$ if $\vec{x},\vec{y},\vec{z}$ are distinct (because $A$ has no triple of vectors forming a right angle) and is $0$ if any pair of vectors are equal. Despite $T$ being non-diagonal, $T$ is constant on $3$-tuples $(\vec{x},\vec{y},\vec{z}) \in A^3$ that have the same partition. One of our main theorems, Theorem~\ref{thm:main1}, explicitly finds an upper bound for $|A|$ in terms of $\mbox{partition-rank}(T)$ in such cases. The other, Theorem~\ref{thm:main2}, is more subtle. It replaces the distinct indicator $H$ with our partition indicator, suited for the particular tensor at hand. Multiplying a non-diagonal tensor by an appropriate partition indicator works especially well in the case when the tensor is controlled on $k$-tuples with the same partition.
\subsection{Partition Indicators}
Let $f:\Pi_k \to \mathbb{F}$ and $A$ be a set of interest. We construct a tensor $I_f:A^k \to \mathbb{F}$ so that, unless $x_1=\cdots=x_k$, $I_f(x_1,\ldots,x_k) = f(\pi)$ where $\pi$ is the partition of $(x_1,\ldots,x_k)$. In this way, if $T:A^k \to \mathbb{F}$, we can control $I_f \cdot T$. For instance, suppose $T:A^k \to \mathbb{F}$ is $1$ when $(x_1,\ldots,x_k)$ satisfies a property $\mathcal{P}$ and $0$ otherwise, and that $k$-tuples from $A$ avoid property $\mathcal{P}$. If we set $f(\hat{0})=1$ and $f(\pi)=0$ for $\pi<\hat{1}$, then $I_f \cdot T$ will be $0$ on off-diagonal elements of $A^k$ because $T$ is $0$ on distinct $k$-tuples in $A^k$, and $I_f$ is $0$ on all other $k$-tuples except possibly those with $x_1=\cdots=x_k$.
\begin{definition}[Partition Indicator]
Let $f:\Pi_k \to \mathbb{F}$ for some field $\mathbb{F}$. For a set $A$ define the \emph{partition indicator} of $f$ to be the tensor $I_f:A^k \to \mathbb{F}$ given by
\[
I_f(x_1,\ldots,x_k) =
\sum_{\substack{\tau \in \Pi_k \\ \tau < \hat{1}}} \left( \sum_{\pi \in \Pi_k} f(\pi) \cdot \mu(\pi,\tau) \right) \cdot \delta_{\tau}(x_1,\ldots,x_k).
\]
\end{definition}
The following result is similar in spirit to Lemma 15 in \cite{naslund2020partition}.
\begin{lemma}\label{lem:partitionindicator}
\[\displaystyle
I_f(x_1,\ldots,x_k) = \begin{cases}
-\sum_{\pi < \hat{1}} f(\pi) \cdot \mu(\pi,\hat{1}) \hspace{0.5in} &\mbox{ if } x_1=x_2=\cdots=x_k \\
f(\pi) \hspace{0.5in} & \mbox{ if } (x_1,\ldots,x_k) \mbox{ has partition } \pi \neq \hat{1}
\end{cases}
\]
\end{lemma}
\begin{proof}
Observe that if $x_1=x_2=\cdots=x_k$ then we have that
\begin{align*}
I_f(x_1,\ldots,x_k) =\sum_{\substack{\tau \in \Pi_k \\ \tau < \hat{1}}} \left( \sum_{\pi \in \Pi_k} f(\pi) \cdot \mu(\pi,\tau) \right) &= \sum_{\tau<\hat{1}} \sum_{\pi \leq \tau} f(\pi) \cdot \mu(\pi,\tau) \\
&= \sum_{\pi<\hat{1}} f(\pi) \cdot \left( \sum_{\pi \leq \tau < \hat{1}} \mu(\pi,\tau)
\right) \\
&=-\sum_{\pi < \hat{1}} f(\pi) \cdot \mu(\pi,\hat{1}),
\end{align*}
the last equality coming from Equation~(\ref{eqn:mobius}). Otherwise, $(x_1,\ldots,x_k)$ has partition $\pi<\hat{1}$ so $\delta_{\tau}(x_1,\ldots,x_k)=0$ unless $\tau \leq \pi$ in which case it is $1$. From this,
\[
I_f(x_1,\ldots,x_k) = \sum_{\tau \leq \pi} \sum_{\rho \leq \tau } f(\rho) \cdot \mu(\rho,\tau) = \sum_{\rho \leq \pi} f(\rho) \cdot \left( \sum_{\rho \leq \tau \leq \pi} \mu(\rho,\tau) \right).
\]
Again by Equation~(\ref{eqn:mobius}) we have $\sum_{\rho \leq \tau \leq \pi} \mu(\rho,\tau) = 0$ unless $\rho=\pi$ in which case it is $\mu(\pi,\pi)=1$, so the sum is indeed $f(\pi)$.
\end{proof}
We can reconcile this with the distinctness indicator. Set $f(\pi)=0$ for all $\hat{0} < \pi \leq \hat{1}$ and $f(\hat{0})=1$. Then by Lemma~\ref{lem:partitionindicator}, $I_f$ is $1$ when all $x_i$'s are distinct, $0$ for all other $k$-tuples $(x_1,\ldots,x_k)$ that are not all equal, and if $x_1=\cdots=x_k$, $I_f(x_1,\ldots,x_k)=-\mu(\hat{0},\hat{1})$. Since $\mu(\hat{0},\hat{1})=(-1)^{k-1}(k-1)!$, $I_f$ agrees with the distinctness indicator up to sign.
We now state our first main theorem, providing a mechanism for finding upper bounds on set sizes using partition rank, in the presence of a tensor that is constant on $k$-tuples with the same partition.
\begin{theorem}\label{thm:main1}
Let $X$ be a set and $A \subseteq X$ be such that distinct $k$-tuples of $A$ avoid a property $\mathcal{P}$ defined on $X$. Let $f:\Pi_k \to \mathbb{F}$ and suppose $T:A^k \to \mathbb{F}$ is a tensor for which:
\begin{enumerate}
\item $T(x_1,x_2,\ldots,x_k)=f(\pi)$ where $\pi$ is the partition of $(x_1,x_2,\ldots,x_k)$,
\item $f(\hat{1}) \neq -\sum_{\pi<\hat{1}} f(\pi) \cdot \mu(\pi,\hat{1})$.
\end{enumerate}
Then
\[
|A| \leq \mbox{partition-rank}(T)+(B_k-2)
\]
where $B_k$ is the $k$th Bell number, that is, the number of partitions of $\{1,2,\ldots,k\}$.
\end{theorem}
In many applications of the slice rank and partition rank methods, $k$ is fixed and the bounds on $|A|$ of interest depend on data governing the size of $X$, which is typically independent of $k$. For instance, in \cite{crootlevpach},\cite{ge2020maximum},\cite{naslund2020partition},\cite{sauermann2021size}, $X=\Fqn$ and the asymptotics of interest are in $n$ and $q$. This makes the constant $B_k-2$ of neglible concern in most cases, even though it is large as a function of $k$. We remark however that if one genuinely has an interest in strengthening the summand $B_k-2$, it can be replaced by $\left| \left \{\hat{0} < \tau < \hat{1} \ : \ \sum_{\pi \leq \tau} f(\pi) \cdot \mu(\pi,\tau) \neq 0 \right\} \right|$ since $\sum_{\pi \leq \tau} f(\pi) \cdot \mu(\pi,\tau)$ is the coefficient of $\delta_{\tau}(x_1,\ldots,x_k)$ in $I_f$.
\begin{proof}[Proof of Theorem~\ref{thm:main1}]
By Lemma~\ref{lem:partitionindicator},
\[
I_f(x_1,\ldots,x_k)-T(x_1,\ldots,x_k) = \left(-\sum_{\pi<\hat{1}} f(\pi) \cdot \mu(\pi,\hat{1})-f(\hat{1}) \right) \cdot \delta_{\hat{1}}(x_1,\ldots,x_k).
\]
The tensor on the right is a diagonal tensor with all diagonal entries equal to $-\sum_{\pi<\hat{1}} f(\pi) \cdot \mu(\pi,\hat{1})-f(\hat{1})$, a nonzero constant by the second condition in the theorem. Subsequently,
\begin{align*}
|A| &\leq \mbox{partition-rank}\left(\left(-\sum_{\pi<\hat{1}} f(\pi) \cdot \mu(\pi,\hat{1})-f(\hat{1})\right) \cdot \delta_{\hat{1}} \right) \\
&= \mbox{partition-rank}\left( I_f-T\right) \\ &\leq \mbox{partition-rank}(I_f)+\mbox{partition-rank}(T).
\end{align*}
Every summand in $I_f$ has partition rank at most $1$ because for $\pi<\hat{1}$ with $\pi=\pi_1 \cdots \pi_r$, $\delta_{\pi}(x_1,\ldots,x_k)$ is $\prod_{i=1}^r \delta_{\pi_i}(x_1,\ldots,x_k)$. Moreover the summand corresponding to $\hat{0}$ is constant. There are $B_k-1$ total summands so this gives us $|A| \leq \mbox{partition-rank}(T)+(B_k-2).$
\end{proof}
Our second main result, Theorem~\ref{thm:main2}, provides a general framework that mimics the approach of multiplying the distinctness indicator by a given tensor to make it diagonal. Instead, it looks at the more general setting of multiplying by a partition indicator $I_f$.
\begin{theorem}\label{thm:main2}
Let $A$ be a finite set and $\mathcal{P}$ be a property on $k$-tuples of $A$. Let $T:A^k \to \mathbb{F}$ and $f:\Pi_k \backslash \{\hat{1}\} \to \mathbb{F}$ for some field $\mathbb{F}$ be such that
\begin{enumerate}
\item $(x,\ldots,x)$ satisfies $\mathcal{P}$ for any $x \in A$,
\item $T(x_1,\ldots,x_k) = 1$ if $(x_1,\ldots,x_k)$ satisfies $\mathcal{P}$, and $0$ otherwise,
\item if there exists $(x_1,\ldots,x_k)$ with partition $\pi \in \Pi_k \backslash \{\hat{1}\}$ satisfying $\mathcal{P}$ then $f(\pi)=0$,
\item $\sum_{\pi < \hat{1}} f(\pi) \cdot \mu(\pi,\hat{1}) \neq 0$.
\end{enumerate}
Then
\[
|A| \leq \mbox{partition-rank}(I_f \cdot T).
\]
\end{theorem}
\begin{proof}
By Theorem~\ref{thm:partitionrank} it suffices to prove that $I_f \cdot T$ is diagonal on $A^k$ with non-zero diagonal entries. Let $(x_1,\ldots,x_k) \in A^k$. Suppose first that not all $x_i$'s are equal, and so $(x_1,\ldots,x_k)$ has partition $\rho \neq \hat{1}$. Then,
\begin{align*}
(I_f \cdot T)(x_1,\ldots,x_k) &= \sum_{\hat{0} \leq \tau \leq \rho} \left( \sum_{\hat{0} \leq \pi \leq \tau} f(\pi) \cdot \mu(\pi,\tau) \right) T(x_1,\ldots,x_k) \\
&= \sum_{\hat{0} \leq \pi \leq \rho} f(\pi) \left( \sum_{\pi \leq \tau \leq \rho} \mu(\pi,\tau) \right) T(x_1,\ldots,x_k) \\
&=f(\rho) \cdot T(x_1,\ldots,x_k).
\end{align*}
The last equation comes from the fact that Equation~(\ref{eqn:mobius}) demands $\sum_{\pi \leq \tau \leq \rho} \mu(\pi,\tau) = 1$ if and only if $\pi=\rho$ and is $0$ otherwise. By conditions (2) and (3) of the theorem, we have $f(\rho) \cdot T(x_1,\ldots,x_k)=0$.
Now suppose $\rho=\hat{1}$, that is $x_1=\cdots=x_k$. Then
\begin{align*}
(I_f \cdot T)(x_1,\ldots,x_k) &= \sum_{\hat{0} \leq \tau < \hat{1}} \left( \sum_{\hat{0} \leq \pi \leq \tau} f(\pi) \cdot \mu(\pi,\tau) \right) T(x_1,\ldots,x_k) \\
&= \sum_{\pi < \hat{1}} f(\pi) \left( \underbrace{\sum_{\pi \leq \tau < \hat{1}} \mu(\pi,\tau)}_{=-\mu(\pi,\hat{1})} \right) T(x_1,\ldots,x_k) \\
&=\left( - \sum_{\pi < \hat{1}} f(\pi) \cdot \mu(\pi,\hat{1}) \right) \cdot T(x_1,\ldots,x_k) ,
\end{align*}
the second equality coming again from Equation ~(\ref{eqn:mobius}). This quantity is non-zero by conditions (1), (2) and (4) of the theorem. So, $I_f \cdot T$ is diagonal with non-zero values on its diagonal. The result follows from Theorem~\ref{thm:partitionrank}.
\end{proof}
Theorem~\ref{thm:main2} coalesces known applications of the partition rank method. To start, notice for any $T:A^k \to \mathbb{F}$ where distinct $k$-tuples in $A$ avoid a property $\mathcal{P}$, if conditions (1) and (2) in the theorem are satisfied, the function $f:\Pi_k \backslash \{1\} \to \mathbb{F}$ given by $f(\hat{0})=1$ and $f(\pi)=0$ otherwise is a viable $f$ for the theorem provided that $\mu(\hat{0},\hat{1})=(-1)^{k-1}(k-1)!$ and $\mbox{char}(\mathbb{F})$ have no common factors. We saw that for this $f$, the partition indicator $I_f$ is the distinctness indicator (up to a sign change). This is what was used in \cite{naslund2020partition}.
Another more piercing instance in the literature can be seen in \cite{naslund2020exponential}. The main concern in this application is determining an upper bound on the size of a subset $A \subseteq \mathbb{F}_p^n$ with $p$ prime that has no distinct $p$-tuple $(\vec{x}_1,\ldots,\vec{x}_p)$ for which $\vec{x}_1+\cdots+\vec{x}_p=\vec{0}$. The tensor created to examine this was $T:A^p \to \mathbb{F}_p$ given by
\[
T(\vec{x}_1,\ldots,\vec{x}_p) = \prod_{s=1}^n \left(1-(\vec{x}_1(s)+\cdots+\vec{x}_p(s))^{p-1} \right).
\]
Here, $\vec{x}_j(s)$ is the $s$th coordinate of $\vec{x}_j$ for any $j$. Let $\mathcal{P}$ be the property that a $p$-tuple $(\vec{x}_1,\ldots,\vec{x}_p)$ sums to $\vec{0}$. Notice that $T$ is non-zero if and only if the property $\mathcal{P}$ is satisfied, but $T$ is not necessarily diagonal. We amend this by applying Theorem~\ref{thm:main2}, the results of which recover those developed in \cite{naslund2020exponential}. We see that condition (2) is satisfied since $T(\vec{x},\ldots,\vec{x})=p\vec{x}=\vec{0}$ for any $\vec{x}$. We might think to choose $f:\Pi_p \backslash \{1\} \to \mathbb{F}_p$ in Theorem~\ref{thm:main2} so that $f(\hat{0})=1$ and $f(\pi)=0$ otherwise, which recovers the distinct indicator, so $|A| \leq \mbox{partition-rank}(I_f \cdot T)$. However, we can exploit the structure of $T$ to reduce the number of summands that appear in $I_f \cdot T$. The observation made in \cite{naslund2020exponential} is that if $(\vec{x}_1,\ldots,\vec{x}_p)$ has partition $\pi$ with exactly $2$ blocks, or equivalently rank $p-2$, then it is impossible for $\vec{x}_1+\cdots+\vec{x}_p=\vec{0}$: indeed if $m$ of the $p$ vectors are $\vec{x}$ and the other $p-m$ are another vector $\vec{y}$ then $m\vec{x}+(p-m)\vec{y}=\vec{0}$, implying $m(\vec{x}-\vec{y})=\vec{0}$, which is impossible if $\vec{x},\vec{y}$ are distinct. So in Theorem~\ref{thm:main2}, we are free to select any choice of numbers in $\mathbb{F}_p$ for $f(\pi)$ when $\pi$ has exactly $2$ blocks. If we elect this freedom, set $f(\hat{0})=1$, and set $f(\pi)=0$ for all other $\pi$ with $1 \leq \mbox{rk}(\pi) \leq p-3$ we get
\[
I_f(\vec{x}_1,\ldots,\vec{x}_p) = \sum_{\substack{\tau \in \Pi_p \\ \tau < \hat{1}}} \left( \mu(\hat{0},\tau) + \sum_{\mbox{rk}(\pi)=p-2} f(\pi) \cdot \mu(\pi,\tau) \right) \delta_{\tau}(\vec{x}_1,\ldots,\vec{x}_p) \\
\]
When $\mbox{rk}(\pi)=p-2$ the coefficient of $\delta_{\pi}(\vec{x}_1,\ldots,\vec{x}_p)$ in the sum is $\mu(\hat{0},\pi)+f(\pi)\mu(\pi,\pi)$, so we can make this zero by setting $f(\pi)=-\mu(\hat{0},\pi)$. This makes summands of $I_f$ involve products of at least $3$ tensors, hence likely diminishing $\mbox{partition-rank}(I_f \cdot T)$ and lowering an upper bound on $|A|$. This is exactly the choice made in \cite{naslund2020exponential}, upto a potential sign change.
However by condition (4) of Theorem~\ref{thm:main2}, this choice of $f$ works only under the condition that $\sum_{\pi < \hat{1}} f(\pi) \cdot \mu(\pi,\hat{1}) \neq 0$. We check this, and note that not surprisingly, the calculations recover what appears in Lemmas 7 and 8 in \cite{naslund2020exponential}. Besides when $\pi=\hat{0}$, $\pi$ is nonzero except potentially when $\mbox{rk}(\pi)=p-2$. From this we have,
\begin{align*}
&\sum_{\pi < \hat{1}} f(\pi) \cdot \mu(\pi,\hat{1}) \\
&=f(\hat{0}) \mu(\hat{0},\hat{1}) \ + \sum_{\mbox{rk}(\pi)=p-2} -\mu(\hat{0},\pi) \cdot \underbrace{\mu(\pi,\hat{1})}_{-1} \\
&=(-1)^{p-1}(p-1)! + \sum_{\mbox{rk}(\pi)=p-2} \mu(\hat{0},\pi).
\end{align*}
The elements in $\Pi_p$ with rank $p-2$ are the elements $\pi$ with two blocks $\pi_1,\pi_2$ say with sizes $\lambda_1 \geq \lambda_2$. Then $\lambda_2$ has fixed size $j \in \{1,\ldots,\lfloor p/2 \rfloor\}$ and there are $\binom{p}{j}$ ways to choose its contents. Furthermore, since $\pi_1$ has $p-j$ elements and $\pi_2$ has $j$ elements, the interval $[\pi,\hat{1}]$ is isomorphic to $\Pi_{p-j} \times \Pi_j$ so $\mu(\pi,\hat{1})=(-1)^{j-1}(j-1)!(-1)^{p-j-1}(p-j-1)!$. Doing this over all choices of $j$ elements for $\pi_2$ we get that the desired sum is
\begin{align*}
%&=(-1)^{p-1}(p-1)! + \sum_{\substack{S \subset \{1,2,\ldots,p\} \\ 1 \leq |S| \leq \frac{p}{2}}} (-1)^{|S|-1}(|S|-1)! \cdot (-1)^{(p-|S|)-1} ((p-|S|)-1)! \\
%&= (-1)^{p-1}(p-1)! + \left( \sum_{j=1}^{\lfloor p/2 \rfloor} \binom{p}{j} \cdot (-1)^{j-1}(j-1)!(-1)^{p-j-1}(p-j-1)! \right) + 1 %\label{eqn:rank2}
%\sum_{\rho<\hat{1}} f(\rho) \cdot \mu(\rho,\hat{1})
&= (-1)^{p-1}(p-1)! + \left( \sum_{j=1}^{\lfloor p/2 \rfloor} \binom{p}{j} \cdot (-1)^{j-1}(j-1)!(-1)^{p-j-1}(p-j-1)! \right) \\
&= (-1)^{p-1}(p-1)! + \left( \sum_{j=1}^{\lfloor p/2 \rfloor} (-1)^p \frac{p!}{j(p-j)} \right) \\
%&= (-1)^{p-1} (p-1)! \left( 1 - \sum_{j=1}^{p-1} \frac{1}{j} \right) +1 \\
&= (-1)^{p}(p-1)! \left( \sum_{j=2}^{p-1} \frac{1}{j} \right) .
\end{align*}
Here, by $1/x$ we mean $x^{-1}$ in $\mathbb{F}_p$. Now pair every element $j \in \{2,\ldots,p-1\}$ with its additive inverse to get $\sum_{j=2}^{p-1} \frac{1}{j}=-1$ and therefore the required sum is non-zero precisely if $(-1)^{p+1}(p-1)!$ is. By Wilson's Theorem this quantity is $(-1)^{p+2}=-1 \neq 0$. This indeed recovers the work in \cite{naslund2020exponential} (up to a potential sign change).
The previous example suggests a general strategy for applying Theorem~\ref{thm:main2}. Suppose we are in the situation where the assumptions in Theorem~\ref{thm:main2} hold. Let $\Pi \subseteq \Pi_k \backslash \{\hat{1}\}$ be a set of partitions $\pi$ for which every $k$-tuple $(x_1,\ldots,x_k) \in A^k$ with partition $\pi$ has $T(x_1,\ldots,x_k)=0$. For instance in the previous example we argued that we can take $\Pi=\{\hat{0}\} \cup \{\pi \in \Pi_k \ : \ \mbox{rk}(\pi)=k-2\}$. In the general setting, we claim for any such $\Pi$, we can find a function $f:\Pi_k \backslash \{1\} \to \mathbb{F}$ that is zero on $\pi \notin \Pi$, so that the coefficient of $\delta_{\pi}(x_1,\ldots,x_k)$ in $I_f(x_1,\ldots,x_k)$ is $0$ for all non-minimal $\pi \in \Pi$.
To see this, set $f(\pi)=0$ for $\pi \notin \Pi$, and for partitions in $\Pi$ we induct on rank. If $\pi$ is minimal in $\Pi$, set $f(\pi)=1$. If $\pi$ is not minimal, $f(\tau)$ has been inductively selected for $\tau<\pi$. The coefficient of $\delta_{\pi}(x_1,\ldots,x_k)$ in $I_f(x_1,\ldots,x_k)$ is
\[
\sum_{\tau \leq \pi} f(\tau) \cdot \mu(\tau,\pi) = f(\pi) + \sum_{\tau < \pi} f(\tau) \cdot \mu(\tau,\pi)
\]
and we can make this $0$ by setting $f(\pi)=-\sum_{\tau < \pi} f(\tau) \cdot \mu(\tau,\pi)$. We see in fact that $f$ is unique upto selection of its values on minimal elements of $\Pi$.
This process potentially eliminates many summands from $I_f \cdot T$, and in particular, summands $\delta_{\pi}(x_1,\ldots,x_k)$ for $\pi$ of high rank. This in turn can significantly reduce the partition rank of $I_f \cdot T$. The caveat here is certifying that $\sum_{\pi<\hat{1}} f(\pi) \cdot \mu(\pi,\hat{1}) \neq 0$; this depends heavily on the choice of $\Pi$ and the characteristic of the field $\mathbb{F}$.
In many situations, a tensor will not only be controlled on points $(x_1,\ldots,x_k)$ with the same partition, but on points $(x_1,\ldots,x_k)$ with partitions of the same rank. This happens, for instance, in Theorem~\ref{thm:linearequation}, so it will be convenient for us to isolate functions $f$ that record this.
\begin{definition}\label{def:partitiongenerator}
Let $k,r$ be nonnegative integers with $0 \leq r \leq k-1$. The \emph{rank $r$ partition generator on $\Pi_k$} is the unique function $f:\Pi_k \backslash \{\hat{1}\} \to \mathbb{F}$ such that
\[f(\pi)=\begin{cases}
0 \hspace{0.5in} &\mbox{ if } \mbox{rk}(\pi) < r \\
1 \hspace{0.5in} &\mbox{ if } \mbox{rk}(\pi) = r \\
-\sum_{\tau<\pi} f(\tau) \cdot \mu(\tau,\pi) \hspace{0.5in} &\mbox{ otherwise }
\end{cases}
\]
\end{definition}
The beauty of a rank $r$ partition generator on $\Pi_k$ is that condition (4) in Theorem~\ref{thm:main2} becomes a completely combinatorial condition to check.
\begin{proposition}\label{thm:combcondition}
Let $0 \leq r \leq k-1$ be integers and let $f:\Pi_k \backslash \{\hat{1}\} \to \mathbb{F}$ be the rank $r$ partition generator on $\Pi_k$. Then
\[
-\sum_{\pi<\hat{1}} f(\pi) \cdot \mu(\pi,\hat{1}) = S(k,k-r),
\]
the number of partitions of $\{1,2,\ldots,k\}$ into $k-r$ blocks.
\end{proposition}
\begin{proof}
This follows from Lemma~\ref{lem:poset} in the appendix, when $P=\Pi_k$.
\end{proof}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%% APPLICATIONS APPLICATIONS
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\section{Applications}\label{sec:applications}
This section is dedicated to applications of Theorem~\ref{thm:main1} and Theorem~\ref{thm:main2}. Unless otherwise specified, $q$ is an odd prime power.
%%%%%%%%%%%%%%% OBTUSE ANGLES %%%%%%%%%%%%%%%
\subsection{Obtuse Angles}
We begin with an example concretely illustrating how Theorem~\ref{thm:main1} applies. Erd\H{o}s \cite{erdos} conjectured that in the Euclidean space $\mathbb{R}^n$, any set of greater than $2^n$ points must create an obtuse angle, and this was proven by Danzer and Grunbaum \cite{danzer1962zwei}. We prove an analogous lower bound over finite fields, showing that subsets $\mathbb{F}_q^n$ of sufficiently large yet polynomial size (in $n$), are forced to have an obtuse angle. Recall that a triple $\vec{x},\vec{y},\vec{z} \in \Fqn$ form an obtuse angle at $\vec{x}$ if and only if $2\langle \vec{x}-\vec{y}, \vec{x}-\vec{z} \rangle \in \Fq \backslash (Q \cup \{0\})$ where $Q$ is the set of quadratic residues in $\Fq$. It will be convenient to think of acute angles, and in a similar light the vectors form an acute angle at $\vec{x}$ if and only if $2\langle \vec{x}-\vec{y}, \vec{x}-\vec{z} \rangle \in Q$ (see, for instance, \cite{shparlinski2010point}).
\begin{theorem}\label{thm:obtuse}
If $A \subseteq \Fqn$ and $|A|>\binom{n+q+1}{q+1}+4$ then $A$ has some distinct triple forming an obtuse angle (and similarly, some distinct triple forming an acute angle).
\end{theorem}
\begin{proof}
It will be convenient to prove the bound for acute angles, and the argument for obtuse angles will follow similarly. Suppose $A \subseteq \Fqn$ has no distinct triple forming an acute angle. Let $T:A^3 \to \Fq$ be defined by
\[
T(\vec{x},\vec{y},\vec{z})= \delta_{y \neq z} \ \cdot \ \left[ 1 - \prod_{\alpha \in Q } \left( 2\langle \vec{x}-\vec{y}, \vec{x}-\vec{z} \rangle - \alpha\right)^{2} \right].
\]
First observe that if $\vec{x},\vec{y},\vec{z}$ are distinct then $\prod_{\alpha \in Q} \left( 2\langle \vec{x}-\vec{y}, \vec{x}-\vec{z} \rangle - \alpha \right)$ is zero if and only if $\vec{x},\vec{y},\vec{z}$ form an acute angle, so on $A^3$, $T(\vec{x},\vec{y},\vec{z})=0$ for distinct $\vec{x},\vec{y},\vec{z}$. It is evident if $\vec{y}=\vec{z}$ then $T(\vec{x},\vec{y},\vec{z})=0$. If $\vec{x}=\vec{y}$ (or similarly $\vec{x}=\vec{z}$) then
\[
\delta_{y \neq z} \ \cdot \ \left[ 1 - \prod_{\alpha \in Q } \left( 2\langle \vec{x}-\vec{y}, \vec{x}-\vec{z} \rangle - \alpha\right)^{2} \right] =
1 - \prod_{\alpha \in Q } \left( - \alpha\right)^2 = 0,
\]
since $\prod_{\alpha \in Q} (-\alpha) \in \{\pm 1\}$. Therefore,
\[
T(\vec{x},\vec{y},\vec{z}) =
\begin{cases}
0 \hspace{0.5in} &\mbox{if } \vec{x}=\vec{y} \mbox{ or } \vec{x}=\vec{z} \mbox{ or } \vec{y}=\vec{z} \\
1 \hspace{0.5in} &\mbox{otherwise}
\end{cases}
\]
We now apply Theorem~\ref{thm:main1}. Our function $f:\Pi_3 \to \mathbb{F}_q$ is given by $f(\pi)=0$ for all $\pi \neq \hat{0}$ and $f(\hat{0})=1$, so condition (1) of the theorem holds. For condition (2), we see that $-\sum_{\pi<\hat{1}} f(\pi) \cdot \mu(\pi,\hat{1})=-f(\hat{0}) \cdot \mu(\hat{0},\hat{1})=-2$, which does not equal $f(\hat{1})=0$ in $\Fq$ since $q$ is odd. It follows that $|A| \leq \mbox{partition-rank}(T)+(B_3-2) = \mbox{slice-rank}(T)+3$, the latter equality holding because slice rank and partition rank are equal on $3$ variables. The slice rank of $T$ is at most $1$ more than the slice rank of $\delta_{y \neq z} \prod_{\alpha \in Q } \left( 2\langle \vec{x}-\vec{y}, \vec{x}-\vec{z} \rangle - \alpha\right)^{2}$ so we bound the latter. First observe
\begin{align*}
&\prod_{\alpha \in Q } \left( 2\langle \vec{x}-\vec{y}, \vec{x}-\vec{z} \rangle - \alpha\right)^{2} = \prod_{\alpha \in Q } \left(2 \cdot \sum_{i=1}^n x_i^2 - 2 \sum_{i=1}^n x_i \left(y_i+z_i\right) + \sum_{i=1}^n y_iz_i - \alpha \right)^2 \\
&= \sum_{\beta+\beta'+\gamma_1+\cdots+\gamma_n \leq 2|Q|} \left(2 \sum_i x_i^2 \right)^{\beta} \left(-2\sum_i y_iz_i \right)^{\beta'} \prod_{i=1}^n x_i^{\gamma_i} (y_i+z_i)^{\gamma_i} \cdot C_{\beta,\beta',\gamma_1,\cdots,\gamma_n}
\end{align*}
for some constants $C_{\beta,\beta',\gamma_1,\cdots,\gamma_n}$. Multiplying by $\delta_{y \neq z}$ we get
\[
\sum_{\beta+\beta'+\gamma_1+\cdots+\gamma_n \leq 2 \cdot |Q|} \left(2 \sum_i x_i^2 \right)^{\beta} \prod_{i=1}^n x_i^{\gamma_i} \cdot \left[ \delta_{y \neq z} \prod_{i=1}^n (y_i+z_i)^{\gamma_i} \cdot \left(-2\sum_i y_iz_i \right)^{\beta'} \cdot C_{\beta,\beta',\gamma_1,\cdots,\gamma_n} \right]
\]
which is written as a sum of slices, the number of which is bounded above by the number of nonnegative integers tuples $(\beta,\beta',\gamma_1,\ldots,\gamma_n)$ such that $\beta+\beta'+\gamma_1+\cdots+\gamma_n \leq 2 \cdot |Q|$. Since $|Q|=\frac{q-1}{2}$, by classical counting arguments this quantity is $\binom{(n+3)+(q-1)-1}{q-1} = \binom{n+q+1}{q-1}$. We deduce then that $|A| \leq \binom{n+q+1}{q-1}+4$. The proof of the same bound when acute is replaced by obtuse follows by replacing every occurrence of $Q$ with $\Fq \backslash (Q \cup \{0\})$ throughout and noting that $\prod_{\alpha \in \Fq \backslash (Q \cup \{0\})} (-\alpha) \in \{\pm 1\}$ because both $\prod_{\alpha \in Q} (-\alpha)$ and $\prod_{\alpha \in \Fq \backslash \{0\}} (-\alpha)$ are. The result follows.
\end{proof}
%%%%%%%%%%%%%%% SYSTEMS OF POLYNOMIAL EQUATIONS %%%%%%%%%%%%%%%
\subsection{Linear Equations over Finite Fields}
The slice rank and partition rank methods have been successful at generating lower bounds on sizes of subsets of $\mathbb{F}_p^n$ ($p$ prime) that guarantee the existence of particular types of solutions to homogeneous linear systems. Suppose we have such a system in $k$ vector variables and $m$ equations with coefficient matrix $(a_{ij})$, so the equations are of the form $a_{i1}\vec{x}_1+\cdots+a_{ik}\vec{x}_k = \vec{0}$ for $1 \leq i \leq m$ in the unknowns $\vec{x}_1,\ldots,\vec{x}_k \in \mathbb{F}_p^n$. If there is an index $i$ for which $a_{i1}+\cdots+a_{ik} \neq 0$, then the set of points in $\mathbb{F}_p^n$ with first coordinate $1$, of which there are $p^{n-1}$ many, evade a solution to the system. So, in such cases, we can't expect exponentially small lower bounds guaranteeing a solution of a particular type. In light of this, we can assume $a_{i1}+\cdots+a_{ik}=0$ for all $1 \leq i \leq m$. Such homogeneous systems are called \emph{balanced}.
Note that when $\vec{x}_1=\cdots=\vec{x}_k$, $(\vec{x}_1,\ldots,\vec{x}_k)$ is always a solution to a balanced linear system in $k$ variables. So, for \emph{any} $A \subseteq \mathbb{F}_p^n$, $A^k$ contains a solution where the $\vec{x}_i$'s take on just one value. We deem these solutions as ``trivial'' and all other solutions as ``non-trivial", which is consistent with terminology in \cite{sauermann2022finding}. So, we are concerned with lower bounds on $|A|$ that force a ``non-trivial" solution of varying type.
A straightforward application of slice rank was used by Tao \cite{tao2016notes1} to show that there is a constant $1 \leq \Gamma < p$ so that any subset of $\mathbb{F}_p^n$ with size at least $\Gamma^n$ contains a ``non-trivial" solution to a given balanced system. This was extended by Sauermann \cite{sauermann2022finding} who proved an analogous result guaranteeing solutions where $\vec{x}_1,\ldots,\vec{x}_k$ are distinct, under the assumption that the $m \times m$ minors of $(a_{ij})$ are invertible. Even more extensions were developed by other groups (\cite{de2021size},\cite{mimura2019avoiding},\cite{mimura2021solving}). However, optimizing $\Gamma$ in this situation is a widely open problem even in the case of one linear equation. These problems have serious implications: optimizing $\Gamma$ for the particular equation $\vec{x}_1+\cdots+\vec{x}_p=\vec{0}$ for prime $p$ has applications to bounding Erd\H{o}s-Ginzburg-Ziv constants (see for instance \cite{foxsauermann},\cite{naslund2020exponential},\cite{ruzsa1993solving}).
We use Theorem~\ref{thm:main2} to add to this body of work, by finding exponentially small lower bounds on $|A|$ with $A \subseteq \mathbb{F}_p^n$ that force a ``non-trivial" solution to a balanced linear equation where $(\vec{x}_1,\ldots,\vec{x}_k) \in A^k$ takes on few distinct values. Interestingly, the condition on $p$ for which this theorem applied is completely combinatorial.
\begin{theorem}\label{thm:linearequation}
Let $3 \leq m \leq k$ and suppose $p$ and $S(k,m)$ have no common factors. Then there are constants $C_k \geq 1$ and $1 \leq \Gamma_{p,m} < p$ so that if $A \subseteq \mathbb{F}_p^n$ with $|A|>C_k \cdot \Gamma_{p,m}^n$, then $A^k$ contains a ``non-trivial" solution to the balanced linear equation $a_1\vec{x}_1+\cdots+a_k\vec{x}_k=\vec{0}$ where the $\vec{x}_i$'s take on at most $m$ distinct values.
\end{theorem}
For fixed $m,k$, the condition needed in order for Theorem~\ref{thm:linearequation} to apply is completely combinatorial and can be checked directly. Furthermore, we see that Theorem~\ref{thm:linearequation} holds for sufficiently large $p$ when $m$ and $k$ are fixed, particularly for primes $p>S(k,m)$.
\begin{proof}[Proof of Theorem~\ref{thm:linearequation}]
Suppose $A^k$ is void of ``non-trivial" solutions $(\smallveclist)$ where the $\vec{x}_i$'s take on at most $m$ distinct values. Let $\mathcal{P}$ be the property that a vector $(\smallveclist)$ in $A^k$ satisfies the balanced equation $a_1\vec{x}_1+\cdots+a_k\vec{x}_k=\vec{0}$. Consider the tensor $T:A^k \to \mathbb{F}_p$ given by
\[
T(\smallveclist) = \prod_{s=1}^n \left[ 1-(a_1\vec{x}_1(s)+\cdots+a_k\vec{x}_k(s))^{p-1} \right],
\]
and let $f$ be the rank $k-m$ partition generator on $\Pi_i$. We check $T$ and $f$ satisfy the conditions of Theorem~\ref{thm:main2}. The first condition is satisfied because for $\vec{x} \in A$, $a_1\vec{x}+\cdots+a_k\vec{x}=(a_1+\cdots+a_k)\vec{x}=\vec{0}$. It is evident that $T(\smallveclist)=1$ if $(\smallveclist)$ satisfies $\mathcal{P}$ and $0$ otherwise, so the second condition in Theorem~\ref{thm:main2} is satisfied. The value $f(\pi)$ is nonzero only if $\mbox{rk}(\pi) \geq k-m$, or equivalently only if $\pi$ has at most $m$ blocks. Since $A$ evades solutions $(\vec{x}_1,\ldots,\vec{x}_k)$ whose partitions contain between $2$ and $m$ blocks inclusive, this implies $f$ satisfies the third condition of Theorem~\ref{thm:main2}. Finally the fourth condition of Theorem~\ref{thm:main2} holds because $-\sum_{\pi<\hat{1}} f(\pi) \cdot \mu(\pi,\hat{1})=S(k,k-(k-m))=S(k,m)$ by Theorem~\ref{thm:combcondition}.
Now we apply Theorem~\ref{thm:main2} and deduce $|A| \leq \mbox{partition-rank}(I_f \cdot T).$ Moreover, by our construction,
\[
I_f(\smallveclist) = \sum_{\substack{\tau \in \Pi_k \\ \tau < \hat{1}}} \left( \sum_{\pi \in \Pi_k} f(\pi) \cdot \mu(\pi,\tau) \right) \cdot \delta_{\tau}(x_1,\ldots,x_k) = \sum_{\substack{\pi \in \Pi_k \\ \mbox{rk}(\pi) \leq k-m}} C_{\pi} \cdot \delta_{\pi}(\smallveclist)
\]
for some constants $C_{\pi}$ because if $\mbox{rk}(\pi)>k-m$ the coefficient of $\delta_{\pi}(\smallveclist)$ is $\sum_{\tau<\pi} f(\tau) \cdot \mu(\tau,\pi) + f(\pi)=0$. The summands in the expression $I_f \cdot T$ will be of the form $\delta_{\pi}(\smallveclist)$ where now $\pi$ is a partition with $r \geq m$ blocks. Write $\pi=\pi_1 \cdots \pi_r$ where $\pi_1,\ldots,\pi_r$ are the blocks of $\pi$ and let $j_1,\ldots,j_r$ be a representative element of $\pi_1,\ldots,\pi_r$ respectively. Then using $\delta_{\pi}$ we can identify the variables in each block of $\pi$ and get that the summand of $I_f \cdot T$ indexed by $\pi$ is
\[
\prod_{i=1}^r \delta(\vec{x}_{\pi_i}) \prod_{s=1}^n \left[ 1 - \left( \sum_{i=1}^r \left( \sum_{\ell \in \pi_j} a_{\ell} \right) \vec{x}_{j_i}(s) \right)^{p-1} \right].
\]
Expand this as a linear combination of monomials of the form
\[
\left[ \delta(\vec{x}_{\pi_1}) \vec{x}_{j_1}(1)^{e_{11}} \cdots \vec{x}_{j_1}(n)^{e_{1n}} \right] \left[ \delta(\vec{x}_{\pi_2}) \vec{x}_{j_2}(1)^{e_{21}} \cdots \vec{x}_{j_2}(n)^{e_{2n}} \right] \cdots \left[ \delta(\vec{x}_{\pi_r}) \vec{x}_{j_r}(1)^{e_{r1}} \cdots \vec{x}_{j_r}(n)^{e_{rn}} \right].
\]
Then $\sum_{i,j} e_{ij} \leq n(p-1)$ since the degree of the polynomial on the right is $n(p-1)$, and each variable $\vec{x}_{j_i}(s)$ appears in degree at most $p-1$. For each term, there is some $i$ with $1 \leq i \leq r$ so that the contribution to the monomial from the components of $\vec{x}_{j_i}$ has degree at most $n(p-1)/r$. Moreover $n(p-1)/r \leq n(p-1)/m$ since $r \geq m$. We then deduce that $\mbox{partition-rank}(I_f \cdot T)$ is at most
\[
\sum_{\substack{S \subset \{1,2,\ldots,k\} \\ 1 \leq |S| \leq k-2}} \left| \left \{ v \in \{0,1,\ldots,p-1\}^n \ : \ \sum_{i=1}^n v_i \leq \frac{n(p-1)}{m} \right \} \right|.
\]
Setting $C_k=2^k-k-2$ and $\Gamma_{p,m} = \min_{0<x<1} \left(\dfrac{1-x^p}{x^{\frac{p-1}{m}}(1-x)} \right)^n$, Proposition~\ref{prop:multinomial} implies
\[
\mbox{partition-rank}(I_f \cdot T) \leq C_k \cdot \Gamma_{p,m}^n,
\]
and by Proposition~\ref{prop:min}, $1 \leq \Gamma_{p,m} < p$. The result follows.
\end{proof}
%{\color{cyan}
%We show how to improve the bound in Theorem~\ref{thm:linearsystem} for a particularly natural class of equations, and our proof hinges on Theorem~\ref{thm:main2}. Notice that equations such as $\vec{x}_i-\vec{x}_j=\vec{0}$ not only have that the sum of the coefficients is $0$ but that there is a proper subset of the coefficient set that sums to zero. It is natural then to restrict to equations where this happens.
%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%
%\begin{theorem}\label{thm:linearequation}
%Suppose the system ($\star$), with $p \geq 5$, satisfies the following:
%\begin{enumerate}
% \item it has a coefficient row $[a_{j1} \ \cdots \ a_{jk}]$ so that no proper subset of $\{a_{j1},\ldots,a_{jk}\}$ sums to $0$,
% \item it has some solution $(\vec{x}_1,\ldots,\vec{x}_k)$ with $\vec{x}_1,\ldots,\vec{x}_k$ distinct
% \item The expression in Equation~(\ref{eqn:rank2}) is nonzero in $\mathbb{F}_p$.
%\end{enumerate} Then there are constants $C_k, \Gamma_{p,m} \geq 1$ such that for any set $A \subseteq \mathbb{F}_p^n$ with
%\[
%|A| > C_k \cdot \Gamma_{p,m}^n
%\]
%the system ($\star$) has a solution $(\vec{x}_1,\ldots,\vec{x}_k) \in A^k$ that are all distinct.
%\end{theorem}
%A few remarks are needed. The most glaring is that Theorem~\ref{thm:linearequation} is not useful unless $\Gamma_{p,m} < p$. However, in Proposition~\ref{prop:min} we find many pairs $(p,m)$ where $p$ prime and $m$ a nonnegative integer for which it is the case that $\Gamma_{p,m} < p$. Secondly, in context with Theorem~\ref{thm:linearsystem}, notice Theorem~\ref{thm:linearequation} includes many cases where we do not have $m \times m$ minors non-zero. Thirdly, condition (3) in Theorem~\ref{thm:linearequation} is technical but it only hinges on the prime $p$ and the number of variables $k$ in the system: it does not depend whatsoever on characteristics intrinsic to the system itself.
%\begin{proof}
%First, we prove that if $(\smallveclist)$ has permutation $\pi$ with exactly $2$ blocks (that is, $\mbox{rk}(\pi)=k-2$), then $(\smallveclist)$ can not be a solution to the system. Indeed, consider the coefficient row that has no proper subset summing to $0$. Suppose that $\pi=\pi_1\pi_2$ and that the content of $\pi_1$ is $J \subset \{1,2,\ldots,k\}$. Then there are distinct vectors $\vec{x}$ and $\vec{y}$ so that $\vec{x}_j=\vec{x}$ for $j \in J$ and $\vec{x}_j=\vec{y}$ for $j \notin J$. Now if $(\smallveclist)$ satisfies ($\star$) then $\left(\sum_{j \in J} a_{ji} \right) \vec{x} + \left(\sum_{j \notin J} a_{ji} \right) \vec{y} = \vec{0}$ but since $\sum_{i=1}^k a_{ji}=0$ this implies $\left(\sum_{j \in J} a_{ji} \right)(\vec{x}-\vec{y}) = \vec{0}.$ This is impossible since $\sum_{j \in J} a_{ji} \neq 0$ and $\vec{x} \neq \vec{y}$.
%Now consider the tensor $T:A^k \to \mathbb{F}_p$ given by
%\[
%T(\smallveclist) = \prod_{j=1}^m \prod_{s=1}^n \left[ 1 - \left(a_{j1}x_1(s) + \cdots + a_{jk}x_k(s) \right)^{p-1} \right]
%\]
%It is evident that $T(\smallveclist)=1$ if $(\smallveclist)$ is a solution to $(\star)$ and $0$ otherwise. We now follow Theorem~\ref{thm:main2}. We have the first condition satisfied and we also have that $T(\vec{x},\ldots,\vec{x})=1$ because each sum $a_{j1}x_1(s) + \cdots + a_{jk}x_k(s) $ is $(a_{j1}+\cdots+a_{jk})x(s)=0$. For every $\pi \in \Pi_k$ of rank $k-2$, we proved there is no vector $(\smallveclist)$ with permutation $\pi$ that is a solution to ($\star$). Subsequently in Theorem~\ref{thm:main2} we can select $f(\pi) \neq 0$ for $\pi$ with rank $k-2$. We select $f(\pi)=-\mu(\hat{0},\pi)$, and then select $f$ so that $f(\hat{0})=1$. We then set $f(\pi)=0$ for all other $\pi$, that is for $\pi$ with $1 \leq \mbox{rk}(\pi) \leq k-3$. Subsequently,
%\[
%I_f(\smallveclist) = \sum_{\substack{\pi \in \Pi_k \\ \mbox{rk}(\pi) \leq k-3}} C_{\pi} \cdot \delta_{\pi}(\smallveclist)
%\]
%for some constants $C_{\pi}$ because if $\mbox{rk}(\pi)=k-2$ then
%\[
%\sum_{\pi \in \Pi_k} f(\rho) \cdot \mu(\rho,\pi) = \mu(\hat{0},\pi)-\mu(\hat{0},\pi)\mu(\pi,\pi)=0.
%\]
%By Theorem~\ref{thm:main2}, if $A$ has no distinct solution $(\smallveclist)$ then $|A| \leq \mbox{partition-rank}(I_f \cdot T).$ Consider one of the summands in the expression $I_f \cdot T$. This will be of the form $\delta_{\pi}(\smallveclist)$ where now $\pi$ is a partition $r \geq 3$ parts. Write $\pi=\pi_1 \cdots \pi_r$ where $\pi_i$ is a part of $\pi$ and let $j_1,\ldots,j_r$ be a representative element of $\pi_1,\ldots,\pi_r$ respectively. Then using $\delta_{\pi}$ we can identify the variables in each part of $\pi$ and get that this summand of $I_f \cdot T$ is
%\[
%\prod_{i=1}^r \delta(\vec{x}_{\pi_i}) \cdot \prod_{j=1}^m \prod_{s=1}^n \left[ 1 - \left( \sum_{i=1}^r \left( \sum_{\ell \in \pi_j} a_{j,\ell}\right) \vec{x}_{j_i}(s) \right)^{p-1} \right].
%\]
%We can expand this as a combination of monomials of the form
%\[
%\left[ \delta(\vec{x}_{\pi_1}) x_{j_1}(1)^{e_{11}} \cdots x_{j_1}(n)^{e_{1n}} \right] \left[ \delta(\vec{x}_{\pi_2}) x_{j_2}(1)^{e_{21}} \cdots x_{j_2}(n)^{e_{2n}} \right] \cdots \left[ \delta(\vec{x}_{\pi_r}) x_{j_r}(1)^{e_{r1}} \cdots x_{j_r}(n)^{e_{rn}} \right]
%\]
%where $\sum_{i,j} e_{ij} \leq mn(p-1)$ since the degree of the polynomial on the right is $mn(p-1)$, and each term $x_{j_i}(s)$ appears in degree at most $m(p-1)$. However, since $y^p=y$ for any $y \in \mathbb{F}_p$, $x_{j_i}(s)$ appears in degree at most $(p-1)$. For each term, there is some coordinate $i$ so that the contribution to the monomial from $x_{j_i}$ has degree at most $mn(p-1)/r \leq mn(p-1)/3$ since $r \geq 3$. We then deduce that $\mbox{partition-rank}(I_f \cdot T)$ is at most
%\begin{align*}
%&\sum_{\substack{S \subset \{1,2,\ldots,k\} \\ 1 \leq |S| \leq k-2}} \left| \left \{ v \in \{0,1,\ldots,p-1\}^n \ : \ \sum_{i=1}^n v_i \leq \frac{mn(p-1)}{3} \right \} \right| \\
%&\leq (2^k-k-2) \left( \min_{0 < x < 1} \frac{1+x+\cdots+x^{p-1}}{x^{\frac{m(p-1)}{3}}} \right)^n,
%\end{align*}
%the inequality obtained by Proposition~\ref{prop:multinomial} applied to the summand. Setting $C_k=2^k-k-2$ and $ \Gamma_{p,m}=\min_{0 < x < 1} \frac{1+x+\cdots+x^{p-1}}{x^{\frac{m(p-1)}{3}}}$, the result follows.
%\end{proof}
%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%
%
%}
%%%%%%%%%%%%%%%%%%%%%%%%% POLYNOMIAL BOUNDS %%%%%%%%%%%%%%%%%%%%%%%%
\subsection{Polynomial Bounds}
Our next application looks at a unification of many examples. Though it inherently uses the distinctness indicator rather than the full force of the partition indicator, it shows how using partition theory is useful in constructing bounds on the partition rank of a tensor.
In many applications of the slice rank and partition rank methods, the tensors that are constructed are products of functions of the form $1-g^{q-1}$ where the functions $g$ are polynomials. When these $g$ exhibit symmetric behavior, we can apply Theorem~\ref{thm:main2} to get a bound on sets avoiding a particular property through the partition rank of these tensors. First we introduce the class of functions we are concerned with.
\begin{definition}\label{def:identifier}
Let $\mathcal{P}$ be a property defined on $k$-tuples from $\Fqn$, and $1 \leq m
\leq k$. A function $g:(\Fqn)^m \to \Fq$ is an \emph{identifier} of $\mathcal{P}$ if
\begin{enumerate}
\item $g$ is a polynomial in the $mn$ components of its input,
\item $\vec{x}_1,\ldots,\vec{x}_k \in \Fqn$ satisfy property $\mathcal{P}$ if and only if $g(\vec{x}_{i_1},\ldots,\vec{x}_{i_m}) = 0$ for all $1 \leq i_1<\cdots<i_m \leq k$
\item $g(\vec{x},\ldots,\vec{x})=0$ for any $\vec{x} \in \Fqn$.
\end{enumerate}
\end{definition}
Definition~\ref{def:identifier} is intrinsically defined in terms of a function $g$ and omits the need to talk about partition rank, so its benefit is it can be used together with the coming Theorem~\ref{thm:polynomial} to prove upper bounds on sets avoiding properties without having to know about slice or partition rank at all. Secondly, the set up in Definition~\ref{def:identifier} is not a contrived one in the least. Several examples in the literature that employ slice rank in fact start with an identifier of a property $\mathcal{P}$ with $m=2$. For instance, Pach et. al \cite{pach2020avoiding} argue that identifying if a $3$-tuple of vectors $\vec{x}_1,\vec{x}_2,\vec{x}_3$ form a right triangle in $\Fqn$ is equivalent to determining if $g(\vec{x}_{i_1},\vec{x}_{i_2})=0$ for $1 \leq i_1 < i_2 \leq 3$ where $g(\vec{s},\vec{t})=\langle \ \vec{s}-\vec{t}, \vec{s}-\vec{t} \ \rangle$.
In the case that a property $\mathcal{P}$ has an identifier in the sense of Definition~\ref{def:identifier}, and $k$ is fixed, Theorem~\ref{thm:polynomial} gives an upper bound, polynomial in $n$, on the sizes of subsets of $\Fqn$ that avoid distinct $k$-tuples with property $\mathcal{P}$.
\begin{theorem}\label{thm:polynomial}
Fix a positive integer $k$ and let $q=p^{\ell}$ where $p \geq k$ is prime. Let $\mathcal{P}$ be a property defined on $k$-tuples of elements from $\Fqn$, and $g:(\Fqn)^m \to \Fq$ be an \emph{identifier} of $\mathcal{P}$. If $A \subseteq \Fqn$ and distinct $k$-tuples of $A$ avoid property $\mathcal{P}$ then $|A|=O(n^{\gamma})$ where
\[
\gamma = \left(\sum_{l=1}^m \frac{1}{l} \binom{k-1}{l-1} \cdot S(m,l)\right) \cdot \deg(g) \cdot (q-1).
\]
\end{theorem}
\begin{proof}[Proof of Theorem~\ref{thm:polynomial}]
Let $T:A^k \to \Fq$ be given by
\[
T(\smallveclist) = \prod_{1 \leq i_1 < \cdots < i_m \leq k} \left( 1 - \left(g(\vec{x}_{i_1},\ldots,\vec{x}_{i_m}) \right)^{q-1} \right).
\]
Furthermore define $f:\Pi_k \backslash \{\hat{1}\} \to \mathbb{F}_q$ by setting $f(\hat{0})=1$ and $f(\pi)=0$ otherwise. We check that $T,f$ satisfy the conditions of Theorem~\ref{thm:main2}. Condition (3) in $g$ being an identifier of $\mathcal{P}$ gives that $g$ evaluated at the $m$-tuple $(\vec{x},\ldots,\vec{x})$ is $0$ for any $\vec{x} \in A$. By condition (2), this implies the $k$-tuple $(\vec{x},\ldots,\vec{x})$ has property $\mathcal{P}$ for $\vec{x} \in A$, so condition (1) of Theorem~\ref{thm:main2} is satisfied. For any $(\smallveclist) \in A^k$, $(\smallveclist)$ satisfies $\mathcal{P}$ if and only if $g(\vec{x}_{i_1},\ldots,\vec{x}_{i_m})=0$ for all $1 \leq i_1 < \cdots < i_m \leq k$ which happens if and only if $T(\smallveclist)=1$, so condition (2) of Theorem~\ref{thm:main2} is satisfied. The only $\pi \in \Pi_k \backslash \{\hat{1}\}$ for which $f(\pi) \neq 0$ is $\pi = \hat{0}$ and $A$ evades distinct $k$-tuples with property $\mathcal{P}$ so condition (3) of Theorem~\ref{thm:main2} is satisfied. Finally, $\sum_{\pi<\hat{1}} f(\pi) \cdot \mu(\pi,\hat{1}) = 1 \cdot \mu(\hat{0},\hat{1})=(-1)^{k-1}(k-1)!$ which is nonnzero in $\Fq$ because $p \geq k$.
It follows then by Theorem~\ref{thm:main2} that $|A| \leq \mbox{partition-rank}(I_f \cdot T)$ (and notice $I_f$ is actually the distinctness indicator). Expanding $I_f \cdot T$ we see that
\[
(I_f \cdot T) (\smallveclist)= \sum_{\substack{\tau \in \Pi_k \\ \tau < \hat{1}}} \left( \sum_{\pi \in \Pi_k} f(\pi) \cdot \mu(\pi,\tau) \right) \cdot \delta_{\tau}(x_1,\ldots,x_k) \cdot T(\smallveclist).
\]
so $\mbox{partition-rank}(I_f \cdot T)$ is bounded above by the sum of the partition ranks of all tensors $\delta_{\tau}(\smallveclist) \cdot T(\smallveclist)$ over all partitions of $\tau \in \Pi_k$ not equal to $\hat{1}$. Pick such a summand, using $\pi$ instead of $\tau$ as its label for consistency, and say $\pi=\pi_1\pi_2 \cdots \pi_r$, with $j_l$ being the smallest element of $\pi_l$ for each $l$. Then $r \geq 2$ since $\pi \neq \hat{1}$ and $\delta_{\pi}(\smallveclist) \cdot T(\smallveclist)$ is $\delta_{\pi}(\smallveclist) \cdot \prod_{1 \leq i_1 < \cdots < i_m \leq k} h(\vec{x}_{i_1},\ldots,\vec{x}_{i_m})$ where here, $h=1-g^{q-1}$ for simplicity. Each polynomial productand has degree at most $\deg(g) \cdot (q-1)$. Now any two variables $\vec{x}_i,\vec{x}_j$ with $i,j$ in the same part of $\pi$ can be identified in the expression. To get an upper bound on the number of productands involved, we can range over all possible ways to identify variables. Once variables are identified, any occurrence of $h^N$ with $N \geq 2$ may be replaced by $h$ since $h$ takes on values $0$ or $1$. First, we select the variables that will be identified: this amounts to selecting a partition $\rho \in \Pi_m$. Now if $\rho=\rho_1 \cdots \rho_j$ then the vectors $\{\vec{x}_i\}_{i \in \rho_l}$ are identified for every $l$. There are at most $\binom{r}{l}$ ways to select the $l$ different blocks of $\pi$ that these belong to. By ranging over all partitions in $\Pi_m$, an upper bound on the number of productands is $\sum_{l=1}^m \binom{r}{l} \cdot S(m,l) = r \cdot C_{r,m}$ where $C_{r,m}=\sum_{l=1}^m \frac{1}{l} \binom{r-1}{l-1} \cdot S(m,l)$. Subsequently the product of the polynomials on the right has degree at most
$r \cdot C_{r,m} \cdot \deg(g) \cdot (q-1).$
Now because of $\delta_{\pi}$, we can write the product as a polynomial in the coordinates of $\vec{x}_{j_1},\cdots,\vec{x}_{j_r}$. After expanding, each term will be of the form
\[
\left[ \delta(\vec{x}_{\pi_1}) \vec{x}_{j_1}(1)^{e_{11}} \cdots \vec{x}_{j_1}(n)^{e_{1n}} \right] \left[ \delta(\vec{x}_{\pi_2}) \vec{x}_{j_2}(1)^{e_{21}} \cdots \vec{x}_{j_2}(n)^{e_{2n}} \right] \cdots \left[ \delta(\vec{x}_{\pi_r}) \vec{x}_{j_r}(1)^{e_{r1}} \cdots \vec{x}_{j_r}(n)^{e_{rn}} \right],
\]
so one of the components of one of the vectors $\vec{x}_{j_1},\ldots,\vec{x}_{j_r}$ contributes at most $C_{r,m} \cdot \deg(g) \cdot (q-1)$ to the degree of such a term. It follow that the partition rank of $\delta_{\pi}(\smallveclist) \cdot T(\smallveclist)$ is bounded above by $r$ times the number of monomials in $n$ variables with degree at most $C_{r,m} \cdot \deg(g) \cdot (q-1)$ which is $r \cdot \binom{n+C_{r,m} \cdot \deg(g) \cdot (q-1)}{C_{r,m} \cdot \deg(g) \cdot (q-1)}$. Doing this over all $\pi \in \Pi_k$ we get
\[
\mbox{partition-rank}(I_f \cdot T) \leq \sum_{r=2}^k S(k,r) \cdot r \cdot \binom{n+C_{r,m} \cdot \deg(g) \cdot (q-1)}{C_{r,m} \cdot \deg(g) \cdot (q-1)}
\]
Finally, since $C_{1,m} \leq C_{2,m} \leq \cdots \leq C_{k,m}$, this sum is bounded above by $\left( \sum_{r=2}^k S(k,r) \cdot r \right) \cdot \binom{n+C_{k,m} \cdot \deg(g) \cdot (q-1)}{C_{k,m} \cdot \deg(g) \cdot (q-1)}$
and so $|A|=O(n^{\gamma})$ where
\[
\gamma = C_{k,m} \cdot \deg(g) \cdot (q-1) = \left(\sum_{l=1}^m \frac{1}{l} \binom{k-1}{l-1} \cdot S(m,l)\right) \cdot \deg(g) \cdot (q-1).
\]
\end{proof}
\vspace{0.2in}
We now apply Theorem~\ref{thm:polynomial} to geometric phenomena in $\Fqn$. The first of these is a generalization of the work of Pach et. al \cite{pach2020avoiding} on avoiding right triangles. Recall their result:
\begin{theorem}[\cite{pach2020avoiding}]\label{thm:righttriangle}
If $A \subseteq \Fqn$ contains no triangle with all right angles, i.e. vectors $\vec{x},\vec{y},\vec{z}$ with
\[
\langle \vec{x}-\vec{y},\vec{y}-\vec{z} \rangle = \langle \vec{y}-\vec{z},\vec{z}-\vec{x} \rangle = \langle \vec{z}-\vec{x},\vec{x}-\vec{y} \rangle = 0
\]
then $|A|=O\left(n^{2(q-1)}\right)$.
\end{theorem}
We can use Theorem~\ref{thm:polynomial} to give a more general result that subsets avoiding right-angled $k$-configurations also have size polynomial in $n$.
\begin{theorem}\label{thm:rightsimplex}
Fix a positive integer $k$ and let $q=p^{\ell}$ where $p \geq k$ is prime. If $A \subseteq \Fqn$ contains no $k$-configuration with all right angles, that is, distinct vectors $\smallveclist$ such that $\langle \vec{x}_i-\vec{x}_j,\vec{x}_j-\vec{x}_{\ell} \rangle = 0$ for distinct triples $i,j,\ell$, then $|A|=O\left(n^{(k+1)(q-1)}\right)$.
\end{theorem}
\begin{proof}
From \cite{pach2020avoiding}, the property $\mathcal{P}$ of $\vec{x}_1,\ldots,\vec{x}_k,\vec{x}_{k+1}$ having $\langle \vec{x}_i-\vec{x}_j,\vec{x}_j-\vec{x}_{\ell} \rangle = 0$ for all triples $i,j,\ell$ is equivalent to demanding that for every distinct $i,j$, $\langle \vec{x}_i-\vec{x}_j,\vec{x}_i-\vec{x}_j \rangle = 0$. Define $g:(\Fqn)^2 \to \Fq$ by $g(\vec{s},\vec{t})=\langle \vec{s}-\vec{t},\vec{s}-\vec{t} \rangle$. We see that $g(\vec{x}_i,\vec{x}_j)=0$ for all $i<j$ if and only if $\smallveclist$ has property $\mathcal{P}$. Furthermore, we observe that if all $\veclist$ are identical then $g(\vec{x}_i,\vec{x}_j)=g(\vec{x}_i,\vec{x}_i)=0$ for all $i \neq j$. This justifies that $g$ is an identifier of $\mathcal{P}$ in the sense of Definition~\ref{def:identifier}. So if $A$ avoids property $\mathcal{P}$ then Theorem~\ref{thm:polynomial} implies $|A|=O(n^{\gamma})$ where $\gamma=\left[\frac{1}{1}\binom{k-1}{0} \cdot S(2,1) + \frac{1}{2} \binom{k-1}{1} \cdot S(2,2) \right] \cdot 2(q-1) = (k+1)(q-1)$.
\end{proof}
We begin to see through this application that the generality of Theorem~\ref{thm:polynomial} enforces a trade-off between applicability to many scenarios, and optimality based on specificity in each scenario. For instance, several techniques can be used to possibly optimize the exponent in Theorem~\ref{thm:rightsimplex}. The partition rank upper bound in Theorem~\ref{thm:polynomial} has the contribution of $\delta_{\pi_i}$ for a particular block $\pi_i$ of a partition appearing frequently. Techniques such as those in \cite{naslund2022chromatic} can be used to possibly reduce the exponent. Despite this, Theorem~\ref{thm:polynomial} still acts as an automatic certification that sets of size polynomial in $n$ are forced have certain properties.
We can extend these ideas to proving that subsets of $\Fqn$ avoiding $k$-tuples whose squared distances from each other are equal mod $p$ (where here $q=p^{\ell}$ for some $\ell$) must have size polynomial in $n$ as well.
\begin{theorem}
Fix a positive integer $k$ and let $q=p^{\ell}$ where $p \geq k$ is prime. Let $\alpha \in \Fq$. Suppose $A \subseteq \Fqn$ is a set that does not contain a $k$-tuple whose squared distances from each other are all equal mod $p$. Then $|A|=O(n^{\gamma})$ where $\gamma=\frac{1}{18}(k-1)(2k^2+23k+36) \cdot q$.
\end{theorem}
\begin{proof}
Let $g:(\F_q)^3 \to \Fq$ be defined by $g(\vec{x}_i,\vec{x}_j,\vec{x}_k)=||\vec{x}_i-\vec{x}_j||^2-||\vec{x}_j-\vec{x}_k||^2$. Then $g$ is an identifier of the property $\mathcal{P}$ of a set of $k$ points having squared distances between pairs of them all equal mod $p$. Indeed if $\smallveclist$ satisfy $\mathcal{P}$ then $g(\vec{x}_{i_1},\vec{x}_{i_2},\vec{x}_{i_3})=0$ for all $1 \leq i_1 < i_2 < i_3 \leq k$ since $||\vec{x}_{i_1}-\vec{x}_{i_2}||^2-||\vec{x}_{i_2}-\vec{x}_{i_3}||^2$. Furthermore, if $\vec{x}_{i_1}=\vec{x}_{i_2}=\vec{x}_{i_3}$ then $g(\vec{x}_{i_1},\vec{x}_{i_2},\vec{x}_{i_3})=0$ for all $1 \leq i_1 < i_2 < i_3 \leq k$. Then by Theorem~\ref{thm:polynomial}, if $A \subseteq \Fqn$ and any $k$-tuple in $A$ avoids property $\mathcal{P}$, $|A|=O(n^{\gamma})$ where
\[
\gamma=\left( \sum_{\ell=1}^3 \frac{1}{\ell} \binom{k-1}{\ell-1} S(3,\ell) \right) \cdot 2(q-1) = \frac{q}{18}(k-1)(2k^2+23k+36).
\]
\end{proof}
Our last geometric application establishes a polynomial bound on the size of subsets of $\Fqn$ avoiding $k$-tuples of pairwise orthogonal points (self-orthogonality will be allowed). This complements work of Iosevich and Senger \cite{senger} who investigate the related enumerative question, showing that if subsets of $\Fqn$ are large enough than they contain any $k$-tuples of pairwise orthogonal points.
\begin{theorem}
Fix a positive integer $k$ and let $q=p^{\ell}$ where $p \geq k$ is prime. Let $A \subseteq \Fqn$ and suppose $A$ does not contain a $k$-tuple of pairwise orthogonal, self-orthogonal points. Then $|A|=O(n^{\gamma})$ where $\gamma=(k+2)(q-1)$.
\end{theorem}
\begin{proof}
Define $g:(\Fqn)^2 \to \Fq$ by $g(\vec{x},\vec{y})=\vec{x} \cdot \vec{y}$. Then $g$ is an indicator for the property of $\mathcal{P}$ of having a $k$-tuple of pairwise orthogonal isotropic points. By Theorem~\ref{thm:polynomial}, $|A|=O(n^{\gamma})$ where $\gamma=(k+2)(q-1)$.
\end{proof}
\section{Future Directions}\label{sec:futuredirections}
Many pressing questions arise from this new perspective on partition rank. Of the most pertinent is how to apply our main theorems, Theorem~\ref{thm:main1} and Theorem~\ref{thm:main2} in more general settings than the ones presented. There are several obstacles to this achievement. In applying Theorem~\ref{thm:main1}, one needs to construct a tensor that is constant on $k$-tuples with the same partition. For many tensors that identify combinatorial properties, the value on a $k$-tuple depends heavily on the combinatorics of the $k$-tuple beyond just which coordinates are equal. For instance if the coordinates are themselves are vectors then the value of the tensor might depend on the matroid of these vectors. However, we still believe there are a wide variety of settings in which Theorem~\ref{thm:main1} applies.
\begin{problem}
Discover new bounds on sets avoiding combinatorial properties by constructing tensors that are constant on $k$-tuples of points with the same partition.
\end{problem}
It would be particularly interesting to see examples in which $k \geq 4$, since for $k \leq 3$ the slice rank and partition rank agree.
Finally, it is a curiosity how widespread the applications of Theorem~\ref{thm:polynomial} can be. Are there other geometric phenomena $\mathcal{P}$ in $\mathbb{F}_q^n$ that can be naturally posed through an identifier $g$ of $\mathcal{P}$. We suspect there are many possibilities here.
\section{Acknowledgments}
The author thanks Bruce Sagan and anonymous referees for helpful comments on the exposition.
%The author is particularly interested in seeing various new applications of Theorem~\ref{thm:main1}. In particular, what combinatorial properties can be identified by tensors that are constant on $k$-tuples of points with the same partition? It would be particularly interesting to see this for $k \geq 4$ since partition rank and slice rank agree when $k \geq 3$.
%It would be interesting to see how far one can stretch applications of Theorem~\ref{thm:polynomial}. What other geometric phenomena in $\Fqn$ are hard to evade, in that a set with no distinct $k$-tuples satisfying the property has size at most polynomial in $n$ and $q$ for fixed $k$. The author suspects there are many geometric phenomena that one can encapsulate through Theorem~\ref{thm:polynomial} and that this may help break boundaries in the state of the art bounds in Euclidean Ramsey Theory.
%
\section{Appendix}
\subsection{Upper Bounds for $\Gamma_{p,m}$}
This subsection looks at calculations necessary for bounding $\Gamma_{p,m}$ in Theorem~\ref{thm:linearequation}.
\begin{proposition}\label{prop:multinomial}
For positive integers $n,p$
\[
\left| \left \{v \in \{0,1,\ldots,p-1\}^n \ : \ \sum_{i=1}^n v_i \leq \frac{n(p-1)}{m} \right \} \right| \leq \min_{0 < x < 1} \left(\frac{1-x^p}{x^{\frac{p-1}{m}} \cdot (1-x)}\right)^n.
\]
\end{proposition}
\begin{proof}
Let $X_1,X_2, \ldots,X_n$ be independent uniform random variables on the set $\{0,1,\ldots,p-1\}$. For simplicity, set $d=\frac{n(p-1)}{m}$. Then the size of the set in question is $p^n \cdot \mathbb{P}(\sum_i X_i \leq d)$. However, for any $x \in (0,1)$,
\begin{align*}
p^n \cdot \mathbb{P}\left(\sum_i X_i \leq d\right) = p^n \cdot \mathbb{P}\left(x^d \leq x^{\sum_i X_i}\right) &\leq p^n \cdot \mathbb{E}\left(x^{\sum_i X_i}\right)x^{-d} \hspace{0.4in} (\mbox{Markov's Inequality}) \\
&= p^n \cdot \mathbb{E}(x^{X_1}) \cdot \mathbb{E}(x^{X_2}) \cdots \mathbb{E}(x^{X_n}) \cdot x^{-d} \\
&= p^n \cdot \left(\frac{1}{p} x^0 + \frac{1}{p} x^1 + \cdots +\frac{1}{p} x^{p-1} \right)^n (x^{-d/n})^n \\
&= \left(\frac{1-x^p}{x^{\frac{p-1}{m}} \cdot (1-x)}\right)^n.
\end{align*}
The result follows since $x$ was chosen arbitrarily in $(0,1)$.
\end{proof}
\begin{proposition}\label{prop:min}
Let $p \geq 5$ and $m \geq 3$ be an integer. Then
\[
1 \leq \min_{0 < x < 1} \frac{1-x^p}{x^{\frac{p-1}{m}}(1-x)} < p.
\]
\end{proposition}
\begin{proof}
It is established in \cite{blasiak2016cap} that $\min_{0 < x < 1} \frac{1-x^p}{x^{\frac{p-1}{3}}(1-x)} < p$. Since $x^{\frac{p-1}{3}} \geq x^{\frac{p-1}{m}}$ for $x \in (0,1)$ and $m \geq 3$, it follows $\min_{0 < x < 1} \frac{1-x^p}{x^{\frac{p-1}{m}}(1-x)} < p$. It is direct to show the lower bound.
\end{proof}
\subsection{M\"{o}bius Inversion}
The following technical lemma is of importance.
\begin{lemma}\label{lem:poset}
Let $(P,<)$ be a graded poset with rank $k$, unique maximal element $\hat{1}$, and M\"{o}bius function $\mu$. Let $0 \leq r \leq k-1$. For a field $\mathbb{F}$ define $f_r:P \to \mathbb{F}$ by
\[
f_r(\pi)=
\begin{cases}
0 \hspace{0.5in} &\mbox{ if } \rk(\pi)<r \\
1 \hspace{0.5in} &\mbox{ if } \rk(\pi)=r \\
-\sum_{\tau<\pi} f(\tau) \cdot \mu(\tau,\pi) \hspace{0.5in} &\mbox{ otherwise}.
\end{cases}
\]
Then $-\sum_{\pi<\hat{1}} f_r(\pi) \cdot \mu(\pi,\hat{1})$ is the number of elements in $P$ of rank $r$ (reduced in $\mathbb{F}$).
\begin{proof}
From the definition of $f_r(\pi)$, it can be proven inductively that
\[
f_r(\pi) = \sum_{\substack{\pi_1< \cdots < \pi_{\ell}=\pi \\ \mbox{rk}(\pi_1) = r}}(-1)^{\ell+1} \mu(\pi_1,\pi_2) \cdots \mu(\pi_{\ell-1},\pi_{\ell}),
\]
and from this
\[
-\sum_{\pi<\hat{1}} f(\pi) \cdot \mu(\pi,\hat{1}) = \sum_{\substack{\pi_1< \pi_2 < \cdots < \pi_{\ell}<\hat{1} \\ \mbox{rk}(\pi_1) = r}} (-1)^{\ell} \mu(\pi_1,\pi_2) \cdots \mu(\pi_{\ell-1},\pi_{\ell}) \cdot \mu(\pi_{\ell},\hat{1}).
\]
Letting $I \in \mathbb{F}^{P \times P}$ be the identity matrix, this is equal to
\[
\sum_{\mbox{rk}(\pi)=r} \left( \sum_{\ell \geq 1} (-1)^{\ell} \cdot (\mu-I)^{\ell} \right) (\pi,\hat{1}) = \sum_{\mbox{rk}(\pi)=r} \left( \sum_{\ell \geq 1} (I-\mu)^{\ell} \right) (\pi,\hat{1}).
\]
Now letting $\zeta \in \mathbb{F}^{P \times P}$ be the zeta matrix of $P$, we have
\begin{align*}
\sum_{\ell \geq 1} (I-\mu)^{\ell} &= (I-\mu) \cdot \left( I + (I-\mu)+(I-\mu)^2+\dots \right) \\
&= (I-\mu) \cdot \left( I - (I-\mu) \right)^{-1} \\
&= (I-\mu) \cdot \mu^{-1} \\
&=\mu^{-1}-I = \zeta-I.
\end{align*}
so the desired sum is
\[
\sum_{\mbox{rk}(\pi)=r} (\zeta-I)(\pi,\hat{1}).
\]
This is precisely the total number of of rank $r$ elements in $P$.
\end{proof}
\end{lemma}
%\subsection{Example of Theorem~\ref{thm:linearequation}}\label{subsec:linearequation}
%The cumbersome nature of the conditions in Theorem~\ref{thm:linearequation} warrants an example. Select $m=3, k=7$. Which primes $p$ work for Theorem~\ref{thm:linearequation}, for these values of $m$ and $k$?
%First, as in the theorem, we construct the rank $k-m=5$ partition generator $f$ on $\Pi_8 \backslash \{\hat{1}\}$. This is the function $f:\Pi_8 \backslash \{\hat{1}\}$ given by
%\[ \displaystyle
%f(\pi) = \begin{cases}
%0 \hspace{0.5in} &\mbox{ if } \mbox{rk}(\pi)<5 \\
%1 \hspace{0.5in} &\mbox{ if } \mbox{rk}(\pi)=5 \\
%-\sum_{\tau<\pi : \mbox{rk}(\tau)=5} \mu(\tau,\pi) &\mbox{ if } \mbox{rk}(\pi)=6 \\
%\end{cases}
%\]
%Now when $\rk(\pi)=6$, $\tau<\pi$ and $\mbox{rk}(\tau)=5$, then $\mu(\tau,\pi)=-1$, so
%\[
%f(\pi) = -\sum_{\substack{\tau<\pi \\ \mbox{rk}(\tau)=5}} (-1) = |\{\tau<\pi \ : \ \rk(\tau)=5\}|.
%\]
%When $\rk(\pi)=6$ in $\Pi_8$, $\pi$ has $2$ blocks, say blocks $\pi_1,\pi_2$ with sizes $\lambda_1,\lambda_2$ respectively. An element of rank $5$ covered by $\pi$ is obtained either by splitting $\pi_1$ into two blocks or splitting $\pi_2$ into two blocks. The number of ways to do this is $S(\lambda_1,2)+S(\lambda_2,2)$. So, altogether we get
%\[
%f(\pi) = \begin{cases}
%0 \hspace{0.5in} &\mbox{ if } \mbox{rk}(\pi)<5 \\
%1 \hspace{0.5in} &\mbox{ if } \mbox{rk}(\pi)=5 \\
%S(\lambda_1,2)+S(\lambda_2,2) &\mbox{ if } \mbox{rk}(\pi)=6 \mbox{ with block sizes } \lambda_1,\lambda_2 \\
%\end{cases}
%\]
%Finally we compute $\sum_{\pi<\hat{1}}f(\pi) \cdot \mu(\pi,\hat{1})$. If $\pi$ has $r$ blocks then $\mu(\pi,\hat{1})=(-1)^{r-1}(r-1)!$ so the desired sum is
%\[
%(-1)^{3-1}(3-1)! + (-1)^{2-1}(2-1)! \ \cdot \sum_{(\lambda_1,\lambda_2) \vdash 8} \frac{8!}{\lambda_1!\lambda_2!} \left( S(\lambda_1,2)+S(\lambda_2,2) \right)
%\]
%which is $-3386=-2 \cdot 1693$ and $1693$ is prime. Therefore the primes $p$ that work for Theorem~\ref{thm:linearequation} are all odd primes $p$ for which $p \neq 1693$. In particular the theorem holds for primes $p$ with $p>1693$.
%%%%%%%%%%%%% END OF NEW VERSION %%%%%%%%%%%%%
%%%%%%%%%%%%% START OF OLD VERSION %%%%%%%%%%%%%
%
%{\color{red}
%\begin{theorem}
%Suppose the system (*) has a coefficient row $[a_{j1} \ \cdots \ a_{jk}]$ so that no proper subset of $\{a_{j1},\ldots,a_{jk}\}$ sums to $0$. Then there are constants $C_{p,m,k} \geq 1$ and $1 \leq \Gamma^*_{p,m,k}<p$ such that any set $A \subset \mathbb{F}_p^n$ with $|A|>C_{p,m,k} \cdot (\Gamma^*_{p,m,k})^n$, the system (*) has a solution $(\vec{x}_1,\ldots,\vec{x}_k) \in A^k$ that are all distinct.
%\end{theorem}
%Notice this includes many cases where we do not have $m \times m$ minors non-zero.
%\begin{proof}
%First, we prove that if $(\smallveclist)$ has permutation $\pi$ with exactly $2$ parts (that is, $\mbox{rk}(\pi)=k-2$), then $(\smallveclist)$ can not be a solution to the system. Indeed, consider the coefficient row that has no proper subset summing to $0$. Suppose that $\pi=\pi_1\pi_2$ and that the contents of $\pi_1$ are $I \subset \{1,2,\ldots,k\}$. Then there are distinct vectors $\vec{x}$ and $\vec{y}$ so that $\vec{x}_i=\vec{x}$ for $i \in I$ and $\vec{x}_i=\vec{y}$ for $i \notin I$. Now if $(\smallveclist)$ satisfies (*) then $\left(\sum_{i \in I} a_{ji} \right) \vec{x} + \left(\sum_{i \in I} a_{ji} \right) \vec{y} = \vec{0}$ but since $\sum_{i=1}^k a_{ji}=0$ this implies $\left(\sum_{i \in I} a_{ji} \right)(\vec{x}-\vec{y}) = \vec{0}.$ This is impossible since $\sum_{i \in I} a_{ji} \neq 0$ and $\vec{x} \neq \vec{y}$.
%
%Now consider the tensor $T:A^k \to \mathbb{F}_p$ given by
%\[
%T(\smallveclist) = \prod_{j=1}^m \prod_{s=1}^n \left[ 1 - \left(a_{j1}x_1(s) + \cdots + a_{jk}x_k(s) \right)^{p-1} \right]
%\]
%It is evident that $T(\smallveclist)=1$ if $(\smallveclist)$ is a solution to the system and $0$ otherwise. We now follow Theorem~\ref{thm:main2}. We have the first condition satisfied and we also have that $T(x,\ldots,x)=0$ because each sum $a_{j1}x_1(s) + \cdots + a_{jk}x_k(s) $ will be $(a_{j1}+\cdots+a_{jk})x(s)=0$. For every $\pi \in \Pi_k$ of rank $k-2$, we proved there is no vector $(\smallveclist)$ with permutation $\pi$ that is a solution to (*). Subsequently in Theorem~\ref{thm:main2} we can select $f(\pi) \neq 0$ for $\pi$ with rank $k-2$. We select $f(\pi)=-\mu(\hat{0},\pi)$, and then select $f$ so that $f(\hat{0})=1$ and $f(\pi)=0$ otherwise. Subsequently,
%\[
%I_f(\smallveclist) = \sum_{\substack{\pi \in \Pi_k \\ \mbox{rk}(\pi)<k-2}} C_{\pi} \cdot \delta_{\pi}(\smallveclist)
%\]
%for some constants $C_{\pi}$ because if $\mbox{rk}(\pi)=k-2$ then
%\[
%\sum_{\pi \in \Pi_k} f(\rho) \cdot \mu(\rho,\pi) = \mu(\hat{0},\pi)-\mu(\hat{0},\pi)\mu(\pi,\pi)=0.
%\]
%Now we are set to apply Theorem~\ref{thm:main2} which tells us if $A$ has no distinct solution $(\smallveclist)$ then
%\[
%|A| \leq \mbox{partition-rank}(I_f \cdot T).
%\]
%Consider one of the summands in the expression $I_f \cdot T$. This will be of the form $\delta_{\pi}(\smallveclist)$ where now $\pi$ is a partition $r \geq 3$ parts. Write $\pi=\pi_1 \cdots \pi_r$ where $\pi_i$ is a part of $\pi$ and let $j_1,\ldots,j_r$ be a representative element of $\pi_1,\ldots,\pi_r$ respectively. Then using $\delta_{\pi}$ we can identify the variables in each part of $\pi$ and get that this summand of $I_f \cdot T$ is
%\[
%\prod_{i=1}^r \delta(\vec{x}_{\pi_i}) \cdot \prod_{j=1}^m \prod_{s=1}^n \left[ 1 - \left( \sum_{i=1}^r \left( \sum_{\ell \in \pi_j} a_{j,\ell}\right) \vec{x}_{j_i}(s) \right)^{p-1} \right].
%\]
%We can expand this as a combination of monomials of the form
%\[
%\left[ \delta(\vec{x}_{\pi_1}) x_{j_1}(1)^{e_{11}} \cdots x_{j_1}(n)^{e_{1n}} \right] \left[ \delta(\vec{x}_{\pi_2}) x_{j_2}(1)^{e_{21}} \cdots x_{j_2}(n)^{e_{2n}} \right] \cdots \left[ \delta(\vec{x}_{\pi_r}) x_{j_r}(1)^{e_{r1}} \cdots x_{j_r}(n)^{e_{rn}} \right]
%\]
%where $e_{i,j} \leq m(p-1)$ and $\sum_{i,j} e_{ij} \leq mn(p-1)$ since the degree of the polynomial on the right is $mn(p-1)$ and each term $x_{j_i}(s)$ appears in degree at most $m(p-1)$. For each term, there is some coordinate $i$ so that the contribution to the monomial from $x_{j_i}$ has degree at most $mn(p-1)/r \leq mn(p-1)/3$ since $r \geq 3$. We then deduce that $\mbox{partition-rank}(I_f \cdot T)$ is at most
%\begin{align*}
%&\sum_{\substack{S \subset \{1,2,\ldots,k\} \\ 1 \leq |S| \leq k-2}} \# \left \{ v \in \{0,1,\ldots,m(p-1)\}^n \ : \ \sum_{i=1}^n v_i \leq \frac{n(p-1)}{3} \right \} \\
%&\leq (2^k-k-2) \left( \min_{0 < x < 1} \frac{1-x^{m(p-1)+1}}{1-x} \cdot x^{-\frac{p-1}{3}} \right)^n
%\end{align*}
%Letting $C_{k}=2^k-k-2$ and $\Gamma_{m,p}=\displaystyle \min_{0<x<1} \frac{1-x^{m(p-1)+1}}{1-x} \cdot x^{-\frac{p-1}{3}}$ we get our result.
%\end{proof}
%}
%
%{\color{red}
%Our next application looks at systems of linear equations over $\mathbb{F}_p$ where $p$ is prime. Can we guarantee a subset $A \subset \mathbb{F}_q^n$ that is sufficiently large is guaranteed to have a set of distinct solutions? If there is an index $j$ for which $a_{j1}+\cdots+a_{jk} \neq 0$ then set of points in $\mathbb{F}_q^n$ whose first coordinate is $1$ are not in the solution set, so there is a constant proportion of all points in $\mathbb{F}_q^n$ that evade a solution. So it is of interest to consider when $a_{j1}+\cdots+a_{jk} = 0$. This is the focus of several articles.
%
%Sauermann suggests considering the case when the coefficient matrix has non-singular minors. The reason to consider this is because it is certainly the case that if the equation $\vec{x}_1-\vec{x}_2=\vec{0}$ is part of the system or could be obtained from the system through row operations then there is no solution whatsoever with $\vec{x}_1,\ldots,\vec{x}_k$ distinct. With this suggestion, the following is established:
%
%\begin{theorem}
%For any fixed integers $m \geq 1$ and $k \geq 3m$ and a prime $p$. Suppose that the system ($\star$) is such that all $m \times m$ minors are nonzero. Then there are constants $C_{p,m,k} \geq 1$ and $1 \leq \Gamma^*_{p,m,k}<p$ such that any set $A \subset \mathbb{F}_p^n$ with $|A|>C_{p,m,k} \cdot (\Gamma^*_{p,m,k})^n$, the system (*) has a solution $(\vec{x}_1,\ldots,\vec{x}_k) \in A^k$ that are all distinct.
%\end{theorem}
%
%We look at a different direction of generalization.
%
%}
\bibliography{references}{}
\bibliographystyle{plain}
\end{document}
\begin{thebibliography}{10}
\bibitem{alon1995lattice}
Noga Alon and Moshe Dubiner.
\newblock A lattice point problem and additive number theory.
\newblock {\em Combinatorica}, 15(3):301--309, 1995.
\bibitem{bateman2012new}
Michael Bateman and Nets Katz.
\newblock New bounds on cap sets.
\newblock {\em Journal of the American Mathematical Society}, 25(2):585--613,
2012.
\bibitem{bennett2018occurrence}
Michael Bennett.
\newblock Occurrence of right angles in vector spaces over finite fields.
\newblock {\em European Journal of Combinatorics}, 70:155--163, 2018.
\bibitem{blasiak2016cap}
Jonah Blasiak, Thomas Church, Henry Cohn, Joshua~A Grochow, Eric Naslund,
William~F Sawin, and Chris Umans.
\newblock On cap sets and the group-theoretic approach to matrix
multiplication.
\newblock {\em Discrete Analysis}, 3, 2017.
\bibitem{pach2020avoiding}
Bal{\'a}zs Bursics, D{\'a}vid Matolcsi, P{\'e}ter~P{\'a}l Pach, and Jakab
Schrettner.
\newblock Avoiding right angles and certain hamming distances.
\newblock {\em arXiv preprint arXiv:2012.08232}, 2020.
\bibitem{calderbank1994maximal}
A.~Robert Calderbank and Peter~C. Fishburn.
\newblock Maximal three-independent subsets of $\{0,1,2\}^n$.
\newblock {\em Designs, Codes and Cryptography}, 4(4):203--211, 1994.
\bibitem{crootlevpach}
Ernie Croot, Vsevolod~F Lev, and P{\'e}ter~P{\'a}l Pach.
\newblock Progression-free sets in $\mathbb{Z}_4^n$ are exponentially small.
\newblock {\em Annals of Mathematics}, pages 331--337, 2017.
\bibitem{danzer1962zwei}
L~Danzer and B~Gr{\"u}nbaum.
\newblock {\"U}ber zwei probleme bez{\"u}glich konvexer k{\"o}rper von p.
erd{\H{o}}s und von vl klee.
\newblock {\em Math. Z}, 79:95--99, 1962.
\bibitem{de2021size}
Josse van~Dobben de~Bruyn and Dion Gijswijt.
\newblock On the size of subsets of $\mathbb{F}_q^n$ avoiding solutions to
linear systems with repeated columns.
\newblock {\em arXiv preprint arXiv:2111.09879}, 2021.
\bibitem{capset}
Jordan~S Ellenberg and Dion Gijswijt.
\newblock On large subsets of with no three-term arithmetic progression.
\newblock {\em Annals of Mathematics}, pages 339--343, 2017.
\bibitem{erdos}
Paul Erd{\H{o}}s.
\newblock Some unsolved problems.
\newblock {\em Michigan Math. J.}, pages 291--300, 1957.
\bibitem{erdos1978combinatorial}
Paul Erd{\H{o}}s and Endre Szemer{\'e}di.
\newblock Combinatorial properties of systems of sets.
\newblock {\em Journal of Combinatorial Theory, Series A}, 24(3):308--313,
1978.
\bibitem{foxsauermann}
Jacob Fox and Lisa Sauermann.
\newblock Erd{\H{o}}s-ginzburg-ziv constants by avoiding three-term arithmetic
progressions.
\newblock {\em Electronic Journal of Combinatorics}, 25(2):P2.14, 2018.
\bibitem{frankl1987subsets}
Peter Frankl, Ronald~L Graham, and Vojtech R{\"o}dl.
\newblock On subsets of abelian groups with no 3-term arithmetic progression.
\newblock {\em Journal of Combinatorial Theory, Series A}, 45(1):157--161,
1987.
\bibitem{ge2020maximum}
Gennian Ge and Chong Shangguan.
\newblock Maximum subsets of $\mathbb{F}_q^n$ containing no right angles.
\newblock {\em Journal of Algebraic Combinatorics}, 52(4):455--460, 2020.
\bibitem{meshulam1995subsets}
Roy Meshulam.
\newblock On subsets of finite abelian groups with no 3-term arithmetic
progressions.
\newblock {\em Journal of Combinatorial Theory, Series A}, 71(1):168--172,
1995.
\bibitem{mimura2019avoiding}
Masato Mimura and Norihide Tokushige.
\newblock Avoiding a shape, and the slice rank method for a system of
equations.
\newblock {\em arXiv preprint arXiv:1909.10509}, 2019.
\bibitem{mimura2021solving}
Masato Mimura and Norihide Tokushige.
\newblock Solving linear equations in a vector space over a finite field.
\newblock {\em Discrete Mathematics}, 344(12):112603, 2021.
\bibitem{naslund2020exponential}
Eric Naslund.
\newblock Exponential bounds for the erd{\H{o}}s-ginzburg-ziv constant.
\newblock {\em Journal of Combinatorial Theory, Series A}, 174:105185, 2020.
\bibitem{naslund2020partition}
Eric Naslund.
\newblock The partition rank of a tensor and k-right corners in
$\mathbb{F}_q^n$.
\newblock {\em Journal of Combinatorial Theory, Series A}, 174:105190, 2020.
\bibitem{naslund2022chromatic}
Eric Naslund.
\newblock The chromatic number of $\mathbb{R}^n$ with multiple forbidden
distances.
\newblock {\em arXiv preprint arXiv:2205.12312}, 2022.
\bibitem{naslund2017upper}
Eric Naslund and Will Sawin.
\newblock Upper bounds for sunflower-free sets.
\newblock In {\em Forum of Mathematics, Sigma}, volume~5. Cambridge University
Press, 2017.
\bibitem{ruzsa1993solving}
Imre~Z Ruzsa.
\newblock Solving a linear equation in a set of integers i.
\newblock {\em Acta arithmetica}, 65(3):259--282, 1993.
\bibitem{sauermann2021size}
Lisa Sauermann.
\newblock On the size of subsets of $\mathbb{F}_p^n$ without $p$ distinct
elements summing to zero.
\newblock {\em Israel Journal of Mathematics}, 243(1):63--79, 2021.
\bibitem{sauermann2022finding}
Lisa Sauermann.
\newblock Finding solutions with distinct variables to systems of linear
equations over $\mathbb{F}_p$.
\newblock {\em Mathematische Annalen}, pages 1--33, 2022.
\bibitem{senger}
Steven Senger and Alex Iosevich.
\newblock Orthogonal systems in vector spaces over finite fields.
\newblock {\em Electronic Journal of Combinatorics}, 15:151, 2008.
\bibitem{shparlinski2010point}
Igor~E Shparlinski.
\newblock On point sets in vector spaces over finite fields that determine only
acute angle triangles.
\newblock {\em Bulletin of the Australian Mathematical Society},
81(1):114--120, 2010.
\bibitem{stanley2011enumerative}
Richard~P Stanley.
\newblock Enumerative combinatorics volume 1 second edition.
\newblock {\em Cambridge studies in advanced mathematics}, 2011.
\bibitem{tao2016notes1}
Terence Tao.
\newblock A symmetric formulation of the croot-lev-pach-ellenberg-gijswijt
capset bound, 2016.
\newblock {\em URL:
https://terrytao.wordpress.com/2016/05/18/a-symmetric-formulation-of-the-croot-lev-pach-ellenberg-gijswijt-capset-bound/},
2016.
\bibitem{tao2016notes}
Terence Tao and Will Sawin.
\newblock Notes on the “slice rank” of tensors, 2016.
\newblock {\em URL: https://terrytao. wordpress.
com/2016/08/24/notes-on-the-slice-rank-of-tensors}, 2016.
\end{thebibliography}