Consider a function \(f: \{1,2,\dots, n\}\rightarrow \mathbb{R}\) satisfying the following for all \(1\leq a,b,c \leq n-2\) with \(a+b+c\leq n\).

\[ f(a+b)+f(a+c)+f(b+c) – f(a)-f(b)-f(c)-f(a+b+c) \geq 0 \text{ and } f(1)=f(n)=0.\]

Prove or disprove this: all such functions \(f\) always have only nonnegative values on its domain.

Acknowledgement: This problem arises during a research discussion between June Huh, Jaehoon Kim and Matt Larson.

The best solution was submitted by 신민서 (KAIST 수리과학과 20학번, +4). Congratulations!

Here is the best solution of problem 2023-23.

Other solutions were submitted by 김기수 (KAIST 수리과학과 18학번, +3), 김찬우 (연세대학교 수학과 22학번, +3), 박기윤 (KAIST 새내기과정학부 23학번, +3), 지은성 (KAIST 수리과학과 20학번, +3), 이도현 (KAIST 수리과학과 석박통합과정 23학번, +3), 전해구 (KAIST 기계공학과 졸업생, +3).

Does there exist a nontrivial subgroup \(G\) of \( GL(10, \mathbb{C}) \) such that each element in \(G\) is diagonalizable but the set of all the elements of \(G\) is not simultaneously diagonalizable?

The best solution was submitted by 김찬우 (연세대학교 수학과 22학번, +4). Congratulations!

Here is the best solution of problem 2023-22.

Other solutions were submitted by 김기수 (KAIST 수리과학과 18학번, +3), 박기윤 (KAIST 새내기과정학부 23학번, +3), 지은성 (KAIST 수리과학과 20학번, +3), 채지석 (KAIST 수리과학과 석박통합과정 21학번, +3), 이명규 (KAIST 전산학부 20학번, +2).

Find the following limit:

\[
\lim_{n \to \infty} \left( \frac{\sum_{k=1}^{n+2} k^k}{\sum_{k=1}^{n+1} k^k} – \frac{\sum_{k=1}^{n+1} k^k}{\sum_{k=1}^{n} k^k} \right)
\]

The best solution was submitted by 문강연 (KAIST 수리과학과 22학번, +4). Congratulations!

Here is the best solution of problem 2023-21.

Other solutions were submitted by 김기수 (KAIST 수리과학과 18학번, +3), 김준홍 (KAIST 수리과학과 20학번, +3), 김찬우 (연세대학교 수학과 22학번, +3), 박기윤 (KAIST 새내기과정학부 23학번, +3), 이도현 (KAIST 수리과학과 석박통합과정 23학번, +3), 이명규 (KAIST 전산학부 20학번, +3), 지은성 (KAIST 수리과학과 20학번, +3), 채지석 (KAIST 수리과학과 석박통합과정 21학번, +3), Adnan Sadik (KAIST 새내기과정학부 23학번, +3), Muhammadfiruz Hasanov (+3), 조현준 (KAIST 수리과학과 22학번, +2), 서성욱 (대전동산고 2학년, +2).

Can we find a sequence \(a_i, i=0,1,2,…\) with the following property: for each given integer \(n\geq 0\), we have \[\lim_{L\to +\infty}\sum_{i=0}^L 2^{ni} |a_i|\leq 23^{(n+11)^{10}} \quad \text{ and }\quad \lim_{L\to +\infty}\sum_{i=0}^L 2^{ni} a_i = (-1)^n ?\]

The best solution was submitted by 김기수 (KAIST 수리과학과 18학번, +4). Congratulations!

Here is the best solution of problem 2023-20.

Another solution was submitted by 조현준 (KAIST 수리과학과 22학번, +2).

Let \( N \) be the number of ordered tuples of positive integers \( (a_1, a_2, \dots, a_{27}) \) such that \( \frac{1}{a_1} + \frac{1}{a_2} + \dots + \frac{1}{a_{27}} = 1\). Compute the remainder of \( N \) when \( N \) is divided by \(33 \).

The best solution was submitted by 이명규 (KAIST 전산학부 20학번, +4). Congratulations!

Here is the best solution of problem 2023-19.

Other solutions were submitted by 강지민 (세마고 3학년, +3), 김기수 (KAIST 수리과학과 18학번, +3), 김민서 (KAIST 수리과학과 19학번, +3), 김준홍 (KAIST 수리과학과 20학번, +3), 김찬우 (연세대학교 수학과 22학번, +3), 박기윤 (KAIST 새내기과정학부 23학번, +3), 이도현 (KAIST 수리과학과 석박통합과정 23학번, +3), 조현준 (KAIST 수리과학과 22학번, +3), 지은성 (KAIST 수리과학과 20학번, +3), 채지석 (KAIST 수리과학과 석박통합과정 21학번, +3), Adnan Sadik (KAIST 새내기과정학부 23학번, +3), Dzhamalov Omurbek (KAIST 전산학부 22학번, +3), Kharchenka Yuliya (KAIST 물리학과 22학번, +3), Muhammadfiruz Hasanov (+3), Aiden Stock (+3).