Find all positive integers $k$ such that there exist positive integer sequences $a_1,a_2,\ldots$ and $r_1,r_2,\ldots$ satisfying the following conditions: 
[list]
[*] $a_1<a_2<a_3<\ldots$
[*] $a_1^k+a_2^k+\ldots +a_n^k=(a_1+a_2+\ldots +a_n)^{r_n}$ holds for all positive integers $n$.

[/list]
1. **Understanding the Problem:**
   We need to find all positive integers \( k \) such that there exist positive integer sequences \( a_1, a_2, \ldots \) and \( r_1, r_2, \ldots \) satisfying:
   - \( a_1 < a_2 < a_3 < \ldots \)
   - \( a_1^k + a_2^k + \ldots + a_n^k = (a_1 + a_2 + \ldots + a_n)^{r_n} \) for all positive integers \( n \).

2. **Claim:**
   The only such positive integers \( k \) are \( 1 \) and \( 3 \).

3. **Proof Using Zsigmondy's Theorem:**
   - Zsigmondy's theorem states that for any integers \( a > b > 0 \) and \( k > 1 \), there exists a prime \( p \) (called a primitive prime divisor) that divides \( a^k - b^k \) but does not divide \( a^i - b^i \) for any \( i < k \), with some exceptions.
   - For \( k = 3 \), the exception is \( a = 2 \) and \( b = 1 \), where \( 2^3 + 1^3 = 9 \) has no primitive prime divisor.
   - Applying Zsigmondy's theorem to our problem, if \( k \neq 1 \) or \( 3 \), there exists a prime \( p \) that divides \( a_i^k + a_j^k \) but does not divide \( a_i + a_j \), leading to a contradiction.

4. **Constructing Sequences for \( k = 1 \) and \( k = 3 \):**
   - For \( k = 1 \):
     - Take \( a_i = i \) and \( r_i = 1 \) for all \( i \in \mathbb{N} \).
     - Then, \( a_1 + a_2 + \ldots + a_n = \frac{n(n+1)}{2} \).
     - Clearly, \( a_1^1 + a_2^1 + \ldots + a_n^1 = a_1 + a_2 + \ldots + a_n \), and \( r_n = 1 \) satisfies the condition.
   - For \( k = 3 \):
     - Take \( a_i = i \) and \( r_i = 2 \) for all \( i \in \mathbb{N} \).
     - Then, \( \sum_{i=1}^n i^3 = \left( \sum_{i=1}^n i \right)^2 \).
     - Using the formula for the sum of cubes, \( \left( \frac{n(n+1)}{2} \right)^2 = \left( \sum_{i=1}^n i \right)^2 \), and \( r_n = 2 \) satisfies the condition.

5. **Conclusion:**
   The only positive integers \( k \) that satisfy the given conditions are \( 1 \) and \( 3 \).

The final answer is \( \boxed{ k = 1 } \) and \( k = 3 \).