## function that sums to zero over cube vertices

### Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

Does anyone have an answer to the three-dimensional analogue of the 2009 Putnam Competition A1 problem, viz., if $f\colon \mathbb{R}^3 \rightarrow \mathbb{R}$ satisfies $\sum_{i=1}^8 f(a_i) = 0$ whenever $a_1, \ldots, a_8$ are the vertices of a cube, must $f$ be identically zero?

A few thoughts: Since the cube is not self-dual above dimension $2$, the solution (well, at least, my solution) to the $2$-dimensional problem doesn’t generalize.  To try to show that the answer to the $3$-dimensional problem is “no,” one might try letting $\Omega$ be the set of ordered pairs $(X, f_X)$ where $X \subseteq \mathbb{R}^3$ is a subset and $f_X\colon \mathbb{R}^3 \rightarrow \mathbb{R}$ is a function that sums to zero over any eight points of $X$ that form the vertices of a cube.  Ordering $\Omega$ in the usual way, we can invoke Zorn’s Lemma to obtain a maximal $(X, f_X) \in \Omega$.  If $X \neq \mathbb{R}^3$, then every $x \in \mathbb{R}^3 \setminus X$ must, in two “incompatible” ways, be the eighth vertex of a cube whose remaining vertices lie in $X$.  But I don't see how a contradiction arises from this (and of course one could make the same argument in two dimensions, where a contradiction does not arise).

-

## 1 Answer

First prove that the sum of the values of your function at the vertices of any regular tetrahedron is zero. You can do this by considering a $2\times 2\times 2$ cube made out of $8$ smaller cubes that you can color in a checkerboard fashion. Sum all the vertices of the black cubes and subtract the sum of the vertices of all the white cubes.

Second you can show that the sum of the values at the vertices of a $x\times x\sqrt{2}$ rectangle is always zero. You need to consider two tetrahedra sharing an edge for this.

From here it is very similar to the Putnam problem you mention. (In fact some solutions apply in the same exact way.)

P.S. This shows that it is enough to have the information only for cubes whose sides are parallel to the axis.

-

1
Nice! It seems that at step 2, we could alternatively consider two tetrahedra sharing a face to conclude that the function must be constant, hence zero. – Greg Marks Nov 27 2010 at 3:10
You can find solutions to Putnam problems at amc.maa.org/a-activities/a7-problems/…. – Richard Stanley Nov 27 2010 at 3:15
So, then, what about in dimension $n > 3$? – Greg Marks Nov 27 2010 at 3:52
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 21, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.8966410160064697, "perplexity_flag": "head"}