IMO Shortlist

First, we prove the key lemma, and then we show how to apply it to finish the solution.
Let $n_{1}, \ldots, n_{k}$ be positive integers. By an $n_{1} \times n_{2} \times \cdots \times n_{k}$ grid we mean the set $N= \left\{\left(a_{1}, \ldots, a_{k}\right): a_{i} \in \mathbb{Z}, 0 \leq a_{i} \leq n_{i}-1\right\}$; the elements of $N$ will be referred to as points. In this grid, we define a subgrid as a subset of the form
$$\begin{equation*} L=\left\{\left(b_{1}, \ldots, b_{k}\right) \in N: b_{i_{1}}=x_{i_{1}}, \ldots, b_{i_{t}}=x_{i_{t}}\right\} \tag{1} \end{equation*}$$
where $I=\left\{i_{1}, \ldots, i_{t}\right\}$ is an arbitrary nonempty set of indices, and $x_{i_{j}} \in [0, n_{i_{j}}-1]$ $(1 \leq j \leq t)$ are fixed integer numbers. Further, we say that a subgrid (1) is orthogonal to the $i$th coordinate axis if $i \in I$, and that it is parallel to the $i$th coordinate axis otherwise.

Lemma. Assume that the grid $N$ is covered by subgrids $L_{1}, L_{2}, \ldots, L_{s}$ (this means $N=\bigcup_{i=1}^{s} L_{i}$ ) so that
(ii') each subgrid contains a point which is not covered by other subgrids;
(iii) for each coordinate axis, there exists a subgrid $L_{i}$ orthogonal to this axis.
Then
$$s \geq 1+\sum_{i=1}^{k}\left(n_{i}-1\right)$$
Proof. Assume to the contrary that $s \leq \sum_{i}\left(n_{i}-1\right)=s'$. Our aim is to find a point that is not covered by $L_{1}, \ldots, L_{s}$.
The idea of the proof is the following. Imagine that we expand each subgrid to some maximal subgrid so that for the $i$th axis, there will be at most $n_{i}-1$ maximal subgrids orthogonal to this axis. Then the desired point can be found easily: its $i$th coordinate should be that not covered by the maximal subgrids orthogonal to the $i$th axis. Surely, the conditions for existence of such expansion are provided by Hall's lemma on matchings. So, we will follow this direction, although we will apply Hall's lemma to some subgraph instead of the whole graph.
Construct a bipartite graph $G=\left(V \cup V', E\right)$ as follows. Let $V=\left\{L_{1}, \ldots, L_{s}\right\}$, and let $V'=\left\{v_{ij}: 1 \leq i \leq s, 1 \leq j \leq n_{i}-1\right\}$ be some set of $s'$ elements. Further, let the edge $\left(L_{m}, v_{ij}\right)$ appear iff $L_{m}$ is orthogonal to the $i$th axis.
For each subset $W \subset V$, denote
$$f(W)=\left\{v \in V':(L, v) \in E \text{ for some } L \in W\right\}$$
Notice that $f(V)=V'$ by (iii).
Now, consider the set $W \subset V$ containing the maximal number of elements such that $|W|> |f(W)|$; if there is no such set then we set $W=\varnothing$. Denote $W'=f(W), U=V \backslash W, U'=V' \backslash W'$.
By our assumption and the Lemma condition, $|f(V)|=|V'| \geq|V|$, hence $W \neq V$ and $U \neq \varnothing$. Permuting the coordinates, we can assume that $U'=\left\{v_{ij}: 1 \leq i \leq \ell\right\}, W'=\left\{v_{ij}: \ell+1 \leq i \leq k\right\}$.
Consider the induced subgraph $G'$ of $G$ on the vertices $U \cup U'$. We claim that for every $X \subset U$, we get $|f(X) \cap U'| \geq|X|$ (so $G'$ satisfies the conditions of Hall's lemma). Actually, we have $|W| \geq|f(W)|$, so if $|X|>|f(X) \cap U'|$ for some $X \subset U$, then we have
$$|W \cup X|=|W|+|X|>|f(W)|+|f(X) \cap U'|=|f(W) \cup (f(X) \cap U')|=|f(W \cup X)| .$$
This contradicts the maximality of $|W|$.
Thus, applying Hall's lemma, we can assign to each $L \in U$ some vertex $v_{ij} \in U'$ so that to distinct elements of $U$, distinct vertices of $U'$ are assigned. In this situation, we say that $L \in U$ corresponds to the $i$th axis, and write $g(L)=i$. Since there are $n_{i}-1$ vertices of the form $v_{ij}$, we get that for each $1 \leq i \leq \ell$, not more than $n_{i}-1$ subgrids correspond to the $i$th axis.
Finally, we are ready to present the desired point. Since $W \neq V$, there exists a point $b=\left(b_{1}, b_{2}, \ldots, b_{k}\right) \in N \backslash\left(\cup_{L \in W} L\right)$. On the other hand, for every $1 \leq i \leq \ell$, consider any subgrid $L \in U$ with $g(L)=i$. This means exactly that $L$ is orthogonal to the $i$th axis, and hence all its elements have the same $i$th coordinate $c_{L}$. Since there are at most $n_{i}-1$ such subgrids, there exists a number $0 \leq a_{i} \leq n_{i}-1$ which is not contained in a set $\left\{c_{L}: g(L)=i\right\}$. Choose such number for every $1 \leq i \leq \ell$. Now we claim that point $a=\left(a_{1}, \ldots, a_{\ell}, b_{\ell+1}, \ldots, b_{k}\right)$ is not covered, hence contradicting the Lemma condition.
Surely, point $a$ cannot lie in some $L \in U$, since all the points in $L$ have $g(L)$th coordinate $c_{L} \neq a_{g(L)}$. On the other hand, suppose that $a \in L$ for some $L \in W$; recall that $b \notin L$. But the points $a$ and $b$ differ only at first $\ell$ coordinates, so $L$ should be orthogonal to at least one of the first $\ell$ axes, and hence our graph contains some edge $\left(L, v_{ij}\right)$ for $i \leq \ell$. It contradicts the definition of $W'$. The Lemma is proved.

Now we turn to the problem. Let $d_{j}$ be the step of the progression $P_{j}$. Note that since $n=$ l.c.m. $\left(d_{1}, \ldots, d_{s}\right)$, for each $1 \leq i \leq k$ there exists an index $j(i)$ such that $p_{i}^{\alpha_{i}} \mid d_{j(i)}$. We assume that $n>1$; otherwise the problem statement is trivial.
For each $0 \leq m \leq n-1$ and $1 \leq i \leq k$, let $m_{i}$ be the residue of $m$ modulo $p_{i}^{\alpha_{i}}$, and let $m_{i}=\overline{r_{i\alpha_{i}} \ldots r_{i1}}$ be the base $p_{i}$ representation of $m_{i}$ (possibly, with some leading zeroes). Now, we put into correspondence to $m$ the sequence $r(m)=\left(r_{11}, \ldots, r_{1\alpha_{1}}, r_{21}, \ldots, r_{k\alpha_{k}}\right)$. Hence $r(m)$ lies in a $\underbrace{p_{1} \times \cdots \times p_{1}}_{\alpha_{1} \text{ times}} \times \cdots \times \underbrace{p_{k} \times \cdots \times p_{k}}_{\alpha_{k} \text{ times}} \operatorname{grid} N$.
Surely, if $r(m)=r\left(m'\right)$ then $p_{i}^{\alpha_{i}} \mid m_{i}-m_{i}'$, which follows $p_{i}^{\alpha_{i}} \mid m-m'$ for all $1 \leq i \leq k$; consequently, $n \mid m-m'$. So, when $m$ runs over the set $\{0, \ldots, n-1\}$, the sequences $r(m)$ do not repeat; since $|N|=n$, this means that $r$ is a bijection between $\{0, \ldots, n-1\}$ and $N$. Now we will show that for each $1 \leq i \leq s$, the set $L_{i}=\left\{r(m): m \in P_{i}\right\}$ is a subgrid, and that for each axis there exists a subgrid orthogonal to this axis. Obviously, these subgrids cover $N$, and the condition (ii') follows directly from (ii). Hence the Lemma provides exactly the estimate we need.
Consider some $1 \leq j \leq s$ and let $d_{j}=p_{1}^{\gamma_{1}} \ldots p_{k}^{\gamma_{k}}$. Consider some $q \in P_{j}$ and let $r(q)= \left(r_{11}, \ldots, r_{k\alpha_{k}}\right)$. Then for an arbitrary $q'$, setting $r\left(q'\right)=\left(r_{11}', \ldots, r_{k\alpha_{k}}'\right)$ we have
$$q' \in P_{j} \quad \Longleftrightarrow \quad p_{i}^{\gamma_{i}} \mid q-q' \text{ for each } 1 \leq i \leq k \quad \Longleftrightarrow \quad r_{i, t}=r_{i, t}' \text{ for all } t \leq \gamma_{i} .$$
Hence $L_{j}=\left\{\left(r_{11}', \ldots, r_{k\alpha_{k}}'\right) \in N: r_{i, t}=r_{i, t}'\right.$ for all $\left.t \leq \gamma_{i}\right\}$ which means that $L_{j}$ is a subgrid containing $r(q)$. Moreover, in $L_{j(i)}$, all the coordinates corresponding to $p_{i}$ are fixed, so it is orthogonal to all of their axes, as desired.

Comment 1. The estimate in the problem is sharp for every $n$. One of the possible examples is the following one. For each $1 \leq i \leq k, 0 \leq j \leq \alpha_{i}-1,1 \leq k \leq p-1$, let
$$P_{i, j, k}=k p_{i}^{j}+p_{i}^{j+1} \mathbb{Z}$$
and add the progression $P_{0}=n \mathbb{Z}$. One can easily check that this set satisfies all the problem conditions. There also exist other examples.
On the other hand, the estimate can be adjusted in the following sense. For every $1 \leq i \leq k$, let $0=\alpha_{i0}, \alpha_{i1}, \ldots, \alpha_{ih_{i}}$ be all the numbers of the form $\operatorname{ord}_{p_{i}}\left(d_{j}\right)$ in an increasing order (we delete the repeating occurences of a number, and add a number $0=\alpha_{i0}$ if it does not occur). Then, repeating the arguments from the solution one can obtain that
$$s \geq 1+\sum_{i=1}^{k} \sum_{j=1}^{h_{i}}\left(p^{\alpha_{j}-\alpha_{j-1}}-1\right)$$
Note that $p^{\alpha}-1 \geq \alpha(p-1)$, and the equality is achieved only for $\alpha=1$. Hence, for reaching the minimal number of the progressions, one should have $\alpha_{i, j}=j$ for all $i, j$. In other words, for each $1 \leq j \leq \alpha_{i}$, there should be an index $t$ such that $\operatorname{ord}_{p_{i}}\left(d_{t}\right)=j$.

We start with introducing some notation. For positive integer $r$, we denote $[r]=\{1,2, \ldots, r\}$. Next, we say that a set of progressions $\mathcal{P}=\{P_{1}, \ldots, P_{s}\}$ cover $\mathbb{Z}$ if each integer belongs to some of them; we say that this covering is minimal if no proper subset of $\mathcal{P}$ covers $\mathbb{Z}$. Obviously, each covering contains a minimal subcovering.

Next, for a minimal covering $\{P_{1}, \ldots, P_{s}\}$ and for every $1 \leq i \leq s$, let $d_{i}$ be the step of progression $P_{i}$, and $h_{i}$ be some number which is contained in $P_{i}$ but in none of the other progressions. We assume that $n>1$, otherwise the problem is trivial. This implies $d_{i}>1$, otherwise the progression $P_{i}$ covers all the numbers, and $n=1$.

We will prove a more general statement, namely the following

Claim. Assume that the progressions $P_{1}, \ldots, P_{s}$ and number $n=p_{1}^{\alpha_{1}} \ldots p_{k}^{\alpha_{k}}>1$ are chosen as in the problem statement. Moreover, choose some nonempty set of indices $I=\{i_{1}, \ldots, i_{t}\} \subseteq[k]$ and some positive integer $\beta_{i} \leq \alpha_{i}$ for every $i \in I$. Consider the set of indices
$$T=\{j: 1 \leq j \leq s, \text{ and } p_{i}^{\alpha_{i}-\beta_{i}+1} \mid d_{j} \text{ for some } i \in I\}$$
Then
$$\begin{equation*} |T| \geq 1+\sum_{i \in I} \beta_{i}\left(p_{i}-1\right) \tag{2} \end{equation*}$$
Observe that the Claim for $I=[k]$ and $\beta_{i}=\alpha_{i}$ implies the problem statement, since the left-hand side in (2) is not greater than $s$. Hence, it suffices to prove the Claim.

1. First, we prove the Claim assuming that all $d_{j}$'s are prime numbers. If for some $1 \leq i \leq k$ we have at least $p_{i}$ progressions with the step $p_{i}$, then they do not intersect and hence cover all the integers; it means that there are no other progressions, and $n=p_{i}$; the Claim is trivial in this case.
Now assume that for every $1 \leq i \leq k$, there are not more than $p_{i}-1$ progressions with step $p_{i}$; each such progression covers the numbers with a fixed residue modulo $p_{i}$, therefore there exists a residue $q_{i} \bmod p_{i}$ which is not touched by these progressions. By the Chinese Remainder Theorem, there exists a number $q$ such that $q \equiv q_{i}\left(\bmod p_{i}\right)$ for all $1 \leq i \leq k$; this number cannot be covered by any progression with step $p_{i}$, hence it is not covered at all. A contradiction.

2. Now, we assume that the general Claim is not valid, and hence we consider a counterexample $\{P_{1}, \ldots, P_{s}\}$ for the Claim; we can choose it to be minimal in the following sense:
- the number $n$ is minimal possible among all the counterexamples;
- the sum $\sum_{i} d_{i}$ is minimal possible among all the counterexamples having the chosen value of $n$.
As was mentioned above, not all numbers $d_{i}$ are primes; hence we can assume that $d_{1}$ is composite, say $p_{1} \mid d_{1}$ and $d_{1}'=\frac{d_{1}}{p_{1}}>1$. Consider a progression $P_{1}'$ having the step $d_{1}'$, and containing $P_{1}$. We will focus on two coverings constructed as follows.
(i) Surely, the progressions $P_{1}', P_{2}, \ldots, P_{s}$ cover $\mathbb{Z}$, though this covering in not necessarily minimal. So, choose some minimal subcovering $\mathcal{P}'$ in it; surely $P_{1}' \in \mathcal{P}'$ since $h_{1}$ is not covered by $P_{2}, \ldots, P_{s}$, so we may assume that $\mathcal{P}'=\{P_{1}', P_{2}, \ldots, P_{s'}\}$ for some $s' \leq s$. Furthermore, the period of the covering $\mathcal{P}'$ can appear to be less than $n$; so we denote this period by
$$n'=p_{1}^{\alpha_{1}-\sigma_{1}} \ldots p_{k}^{\alpha_{k}-\sigma_{k}}=\text{ l.c.m. }\left(d_{1}', d_{2}, \ldots, d_{s'}\right)$$
Observe that for each $P_{j} \notin \mathcal{P}'$, we have $h_{j} \in P_{1}'$, otherwise $h_{j}$ would not be covered by $\mathcal{P}$.
(ii) On the other hand, each nonempty set of the form $R_{i}=P_{i} \cap P_{1}'(1 \leq i \leq s)$ is also a progression with a step $r_{i}=$ l.c.m. $\left(d_{i}, d_{1}'\right)$, and such sets cover $P_{1}'$. Scaling these progressions with the ratio $1 / d_{1}'$, we obtain the progressions $Q_{i}$ with steps $q_{i}=r_{i} / d_{1}'$ which cover $\mathbb{Z}$. Now we choose a minimal subcovering $\mathcal{Q}$ of this covering; again we should have $Q_{1} \in \mathcal{Q}$ by the reasons of $h_{1}$. Now, denote the period of $\mathcal{Q}$ by
$$n''=\text{ l.c.m. }\{q_{i}: Q_{i} \in \mathcal{Q}\}=\frac{\text{ l.c.m. }\{r_{i}: Q_{i} \in \mathcal{Q}\}}{d_{1}'}=\frac{p_{1}^{\gamma_{1}} \ldots p_{k}^{\gamma_{k}}}{d_{1}'}$$
Note that if $h_{j} \in P_{1}'$, then the image of $h_{j}$ under the scaling can be covered by $Q_{j}$ only; so, in this case we have $Q_{j} \in \mathcal{Q}$.
Our aim is to find the desired number of progressions in coverings $\mathcal{P}$ and $\mathcal{Q}$. First, we have $n \geq n'$, and the sum of the steps in $\mathcal{P}'$ is less than that in $\mathcal{P}$; hence the Claim is valid for $\mathcal{P}'$. We apply it to the set of indices $I'=\{i \in I: \beta_{i}>\sigma_{i}\}$ and the exponents $\beta_{i}'=\beta_{i}-\sigma_{i}$; hence the set under consideration is
$$T'=\{j: 1 \leq j \leq s', \text{ and } p_{i}^{(\alpha_{i}-\sigma_{i})-\beta_{i}'+1}=p_{i}^{\alpha_{i}-\beta_{i}+1} \mid d_{j} \text{ for some } i \in I'\} \subseteq T \cap[s']$$
and we obtain that
$$|T \cap[s']| \geq|T'| \geq 1+\sum_{i \in I'}(\beta_{i}-\sigma_{i})(p_{i}-1)=1+\sum_{i \in I}(\beta_{i}-\sigma_{i})_{+}(p_{i}-1),$$
where $(x)_{+}=\max \{x, 0\}$; the latter equality holds as for $i \notin I'$ we have $\beta_{i} \leq \sigma_{i}$.
Observe that $x=(x-y)_{+}+\min \{x, y\}$ for all $x, y$. So, if we find at least
$$G=\sum_{i \in I} \min \{\beta_{i}, \sigma_{i}\}(p_{i}-1)$$
indices in $T \cap\{s'+1, \ldots, s\}$, then we would have
$$|T|=|T \cap[s']|+|T \cap\{s'+1, \ldots, s\}| \geq 1+\sum_{i \in I}\left((\beta_{i}-\sigma_{i})_{+}+\min \{\beta_{i}, \sigma_{i}\}\right)(p_{i}-1)=1+\sum_{i \in I} \beta_{i}(p_{i}-1),$$
thus leading to a contradiction with the choice of $\mathcal{P}$. We will find those indices among the indices of progressions in $\mathcal{Q}$.

3. Now denote $I''=\{i \in I: \sigma_{i}>0\}$ and consider some $i \in I''$; then $p_{i}^{\alpha_{i}} \nmid n'$. On the other hand, there exists an index $j(i)$ such that $p_{i}^{\alpha_{i}} \mid d_{j(i)}$; this means that $d_{j(i)} \nmid n'$ and hence $P_{j(i)}$ cannot appear in $\mathcal{P}'$, so $j(i)>s'$. Moreover, we have observed before that in this case $h_{j(i)} \in P_{1}'$, hence $Q_{j(i)} \in \mathcal{Q}$. This means that $q_{j(i)} \mid n''$, therefore $\gamma_{i}=\alpha_{i}$ for each $i \in I''$ (recall here that $q_{i}=r_{i} / d_{1}'$ and hence $d_{j(i)}|r_{j(i)}| d_{1}' n''$).
Let $d_{1}'=p_{1}^{\tau_{1}} \ldots p_{k}^{\tau_{k}}$. Then $n''=p_{1}^{\gamma_{1}-\tau_{1}} \ldots p_{k}^{\gamma_{i}-\tau_{i}}$. Now, if $i \in I''$, then for every $\beta$ the condition $p_{i}^{(\gamma_{i}-\tau_{i})-\beta+1} \mid q_{j}$ is equivalent to $p_{i}^{\alpha_{i}-\beta+1} \mid r_{j}$.
Note that $n'' \leq n / d_{1}'<n$, hence we can apply the Claim to the covering $\mathcal{Q}$. We perform this with the set of indices $I''$ and the exponents $\beta_{i}''=\min \{\beta_{i}, \sigma_{i}\}>0$. So, the set under consideration is
$$\begin{aligned} T'' & =\{j: Q_{j} \in \mathcal{Q}, \text{ and } p_{i}^{(\gamma_{i}-\tau_{i})-\min \{\beta_{i}, \sigma_{i}\}+1} \mid q_{j} \text{ for some } i \in I''\} \\ & =\{j: Q_{j} \in \mathcal{Q}, \text{ and } p_{i}^{\alpha_{i}-\min \{\beta_{i}, \sigma_{i}\}+1} \mid r_{j} \text{ for some } i \in I''\} \end{aligned}$$
and we obtain $|T''| \geq 1+G$. Finally, we claim that $T'' \subseteq T \cap(\{1\} \cup\{s'+1, \ldots, s\})$; then we will obtain $|T \cap\{s'+1, \ldots, s\}| \geq G$, which is exactly what we need.
To prove this, consider any $j \in T''$. Observe first that $\alpha_{i}-\min \{\beta_{i}, \sigma_{i}\}+1>\alpha_{i}-\sigma_{i} \geq \tau_{i}$, hence from $p_{i}^{\alpha_{i}-\min \{\beta_{i}, \sigma_{i}\}+1} \mid r_{j}=$ l.c.m. $\left(d_{1}', d_{j}\right)$ we have $p_{i}^{\alpha_{i}-\min \{\beta_{i}, \sigma_{i}\}+1} \mid d_{j}$, which means that $j \in T$. Next, the exponent of $p_{i}$ in $d_{j}$ is greater than that in $n'$, which means that $P_{j}$ $\notin$ $\mathcal{P}'$. This may appear only if $j=1$ or $j>s'$, as desired. This completes the proof.